«Comprobar estado del pedido»
LIBRISTO
LIBROAMANTO
obligatorio
Contraseña olvidada
Entre a formar parte de una comunidad de amantes de los libros del mundo entero y acceda a un sinfín de ventajas. Crear una cuenta gratis
0
Envío gratuito con Zásilkovna para compras superiores a 59.99 €
Mensajería SEUR 4.99 € Mensajería GLS 7.99 € Mensajería Correos 5.49 € Mensajería DHL 5.49 € Punto SEUR 3.99 €
phone Contacto phoneCómo comprar
Envío gratis a partir de 69,99 euros.

FME 2003: Formal Methods

International Symposium of Formal Methods Europe. Pisa Italy, September 8-14, 2003, Proceedings

Idioma InglésInglés
Libro Tapa blanda
Libro FME 2003: Formal Methods Keijiro Araki
Código Libristo: 01562991
Editores Springer, Berlin, noviembre 2002
This book constitutes the refereed proceedings of the International Symposium of Formal Methods Euro... Descripción completa
? points 290 b
118.29 €
Almacenamiento externo en pequeñas cantidades Envío en 11-15 días

Hasta 30 días para devoluciones

Clientes que también han comprado

Sanssouci Andreas Maier / Libro Tapa blanda
common.buy 11.59 €
The Armoured Dark Megan E. O'Keefe / Libro Tapa blanda
common.buy 11.69 €
El Bravo V1: Novela (1854) Fenimore Cooper / Libro Tapa blanda
common.buy 30.79 €
Popular
Der kleine Prinz - Le Petit Prince Antoine de Saint-Exupéry / Libro Tapa dura
common.buy 29.99 €
Schriften zur Kritik und Literaturgeschichte Michael Bernays / Libro Tapa blanda
common.buy 29.59 €
Kleeblatt. Das Sprachbuch - Ausgabe 2014 Bayern Esther Bork / Libro Tapa blanda
common.buy 30.39 €
Zazi a dva vrazi Zuzana Kuzmová / Libro Tapa blanda
common.buy 5.99 €
Die Zerstörung der Welt als Wille und Vorstellung Robert Menasse / Libro Tapa blanda
common.buy 15.99 €
Die Brüder Karamasow Fjodor M. Dostojewskij / Libro Tapa blanda
common.buy 19.89 €
E-Booklight - LED Leselampe - Schwarz - für Bücher und E-Reader / Juego/Juguete Juguete
common.buy 14.09 €

This book constitutes the refereed proceedings of the International Symposium of Formal Methods Europe, FME 2003, held in Pisa, Italy in September 2003.§The 44 revised full papers presented together with 5 invited papers were carefully reviewed and selected from 144 submissions. The papers are organized in topical sections on industrial issues, control systems and applications, communication system verfication, co-specification and compilers, composition, Java, object-orientation and modularity, model checking, parallel processes, program checking and testing, B method, and security.

Actriz & Políglota
EWA KASP para
Visualizar el vídeo
Ewa Kasp
Libristo tiene la oferta más extensa de literatura en idiomas extranjeros. Por eso compran aquí sus libros.

Sobre el libro

Nombre y apellidos FME 2003: Formal Methods
Autor Keijiro Araki, Stefania Gnesi, Dion Mandrioli
Idioma Inglés
Encuadernación Libro - Tapa blanda
Fecha de publicación 2003
Número de páginas 946
EAN 9783540408284
ISBN 3540408282
Código Libristo 01562991
Editores Springer, Berlin
Peso 1200
Dimensiones 155 x 235 x 48

Categorías

Computación e informática > Programación informática/desarrollo de software > Compiladores e intérpretes
Computación e informática > Programación informática/desarrollo de software > Lenguajes de programación y extensión/scripting: general
Computación e informática > Programación informática/desarrollo de software > Ingeniería del software
Computación e informática > Ciencias de la computación > Teoría matemática de la computación
Computación e informática > Ciencias de la computación > Arquitectura y diseño lógico de ordenadores
Computación e informática > Sistemas operativos
Regale este libro hoy
Es fácil
1 Añadir al carrito y elegir Entregar como regalo en el checkout 2 Le enviaremos un vale 3 El libro llegará a la dirección del destinatario

También puede interesarle

Use of Microcomputers in Geology Hans Kürzl / Libro Tapa dura
common.buy 169.09 €
Magi: The Labyrinth of Magic, Vol. 2 Shinobu Ohtaka / Libro Tapa blanda
common.buy 10.49 €
Cell Motility Peter Lenz / Libro Tapa dura
common.buy 169.09 €
Handbook of Reagents for Organic Synthesis Set I 4V ST Robert M. Coates / Libro Tapa dura
common.buy 1 336.59 €
Educational Assessment in the 21st Century Claire Wyatt-Smith / Libro Tapa dura
common.buy 181.49 €
Topics in Experimental Dynamics Substructuring and Wind Turbine Dynamics, Volume 2 R. Mayes / Libro Tapa dura
common.buy 225.39 €
The Joy of Playing with Your Dog: Games, Tricks, & Socialization for Puppies & Dogs Marc Goldberg / Libro Tapa dura
common.buy 22.69 €
Buddha a Drama in Five Acts and Four Interludes Paul Carus / Libro Tapa blanda
common.buy 9.99 €
My Own Thoughts Wendy Deaton / Libro Tapa blanda
common.buy 10.39 €
Account of the Life and Writings of St. Irenaeus Bishop of Lyons and Martyr James Beaven / Libro Tapa blanda
common.buy 35.79 €
On Antisemitism Jewish Voice for Peace / Libro Tapa blanda
common.buy 16.49 €

Inicio de sesión

Inicie sesión en su cuenta. ¿No tiene una cuenta Libristo? ¡Cree una ahora!

 
obligatorio
obligatorio
Contraseña olvidada

¿No tiene cuenta? Descubra las ventajas de tener una cuenta Libristo.

Si tiene una cuenta Libristo, lo tendrá todo bajo control.

Crear una cuenta Libristo
Asesor de libros Libroamiko
Hola, soy Libroamiko, ¿puedo ayudarte?