Formal Techniques for Networked and Distributed Systems - FORTE 2004: 24th IFIP WG 6.1 International Conference, Madrid Spain, September 27-30, 2004, Proceedings - Lecture Notes in Computer Science - David De Frutos-escrig - Libros - Springer-Verlag Berlin and Heidelberg Gm - 9783540232520 - 21 de septiembre de 2004
En caso de que portada y título no coincidan, el título será el correcto

David De Frutos-escrig
Formal Techniques for Networked and Distributed Systems - FORTE 2004: 24th IFIP WG 6.1 International Conference, Madrid Spain, September 27-30, 2004, Proceedings - Lecture Notes in Computer Science 2004 edition

Precio
$ 55,99
sin IVA

Pedido desde almacén remoto

Entrega prevista 25 de jun. - 8 de jul.

Nuestros clientes opinan:

Política de devolución de 14 días conforme a la legislación europea de protección de los consumidores
Mejor valorado en Trustpilot
Añadir a tu lista de deseos de iMusic

Among the topics addressed are state-based specification, distributed Java objects, UML and SDL, algorithm verification, communicating automata, design recovery, formal protocol testing, testing and model checking, distributed real-time systems, formal composition, distributed testing, automata for ACTL, symbolic state space.

382 pages, biography

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 21 de septiembre de 2004
ISBN13 9783540232520
Editores Springer-Verlag Berlin and Heidelberg Gm
Páginas 382
Dimensiones 155 × 235 × 20 mm   ·   548 g
Lengua Alemán  
Editor Frutos-Escrig, David de
Editor Nunez, Manuel

Mere med samme udgiver

Ver todo de David De Frutos-escrig ( Ej. Paperback Book )