Controllare lo stato dell'ordine
LIBRISTO
LIBROAMANTO
obbligatorio
Password dimenticata
Entra a far parte di una comunità di amanti dei libri di tutto il mondo e ottieni numerosi vantaggi. Crea un account gratuito
0
Spedizione gratuita con Packeta per un prezzo superiore a 69.99 €
Bartolini 4.49 € Punto Poste 5.49 € Punto Poste 5.49 € Punto Bartolini 3.49 € DHL 6.99 € GLS 5.99 € Punto GLS 4.49 €
phone Contatto phoneCome acquistare
Spedizione gratuita per ordini superiori a 69,99 euro.

FME 2003: Formal Methods

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

Lingua IngleseInglese
Libro In brossura
Libro FME 2003: Formal Methods Keijiro Araki
Codice Libristo: 01562991
Casa editrice Springer, Berlin, novembre 2002
This book constitutes the refereed proceedings of the International Symposium of Formal Methods Euro... Descrizione completa
? points 277 b
113.19 €
Magazzino esterno in piccole quantità Inviamo tra 11-15 giorni

Fino a 30 giorni per il reso

I clienti hanno acquistato anche

Sanssouci Andreas Maier / Libro In brossura
common.buy 11.39 €
The Armoured Dark Megan E. O'Keefe / Libro In brossura
common.buy 11.39 €
El Bravo V1: Novela (1854) Fenimore Cooper / Libro In brossura
common.buy 25.39 €
I migliori
Der kleine Prinz - Le Petit Prince Antoine de Saint-Exupéry / Libro Rigido
common.buy 28.29 €
Schriften zur Kritik und Literaturgeschichte Michael Bernays / Libro In brossura
common.buy 39.29 €
Kleeblatt. Das Sprachbuch - Ausgabe 2014 Bayern Esther Bork / Libro In brossura
common.buy 32.59 €
Zazi a dva vrazi Zuzana Kuzmová / Libro In brossura
common.buy 5.79 €
Die Zerstörung der Welt als Wille und Vorstellung Robert Menasse / Libro In brossura
common.buy 17.49 €
Die Brüder Karamasow Fjodor M. Dostojewskij / Libro In brossura
common.buy 21.59 €
E-Booklight - LED Leselampe - Schwarz - für Bücher und E-Reader / Gioco/giocattolo Giocattolo
common.buy 13.29 €

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.

Attrice & Poliglotta
EWA KASP per
Riproduci video
Ewa Kasp
Libristo ha la più grande selezione di letteratura in lingue straniere. Per questo compro i miei libri qui.

Informazioni sul libro

Titolo completo FME 2003: Formal Methods
Autore Keijiro Araki, Stefania Gnesi, Dion Mandrioli
Lingua Inglese
Rilegatura Libro - In brossura
Data di pubblicazione 2003
Numero di pagine 946
EAN 9783540408284
ISBN 3540408282
Codice Libristo 01562991
Casa editrice Springer, Berlin
Peso 1200
Dimensioni 155 x 235 x 48

Categorie

Informatica e Tecnologia dell’Informazione > Programmazione / ingegneria del software > Compilatori e interpreti
Informatica e Tecnologia dell’Informazione > Programmazione / ingegneria del software > Linguaggi di programmazione e scripting: generale
Informatica e Tecnologia dell’Informazione > Programmazione / ingegneria del software > Ingegneria del software
Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Teoria matematica della computazione
Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Architettura e progettazione logica dei computer
Informatica e Tecnologia dell’Informazione > Sistemi operativi
Regala questo libro oggi stesso
È facile
1 Aggiungi il libro al carrello e scegli la consegna come regalo 2 Ti invieremo subito il buono 3 Il libro arriverà all'indirizzo del destinatario

Potrebbe interessarti anche

Use of Microcomputers in Geology Hans Kürzl / Libro Rigido
common.buy 173.59 €
Magi: The Labyrinth of Magic, Vol. 2 Shinobu Ohtaka / Libro In brossura
common.buy 10.29 €
Cell Motility Peter Lenz / Libro Rigido
common.buy 173.59 €
Educational Assessment in the 21st Century Claire Wyatt-Smith / Libro Rigido
common.buy 173.59 €
Topics in Experimental Dynamics Substructuring and Wind Turbine Dynamics, Volume 2 R. Mayes / Libro Rigido
common.buy 236.49 €
The Joy of Playing with Your Dog: Games, Tricks, & Socialization for Puppies & Dogs Marc Goldberg / Libro Rigido
common.buy 22.69 €
Buddha a Drama in Five Acts and Four Interludes Paul Carus / Libro In brossura
common.buy 21.79 €
My Own Thoughts Wendy Deaton / Libro In brossura
common.buy 10.39 €
Account of the Life and Writings of St. Irenaeus Bishop of Lyons and Martyr James Beaven / Libro In brossura
common.buy 35.79 €
On Antisemitism Jewish Voice for Peace / Libro In brossura
common.buy 16.49 €

Accesso

Accedi al tuo account. Non hai ancora un account Libristo? Crealo ora!

 
obbligatorio
obbligatorio
Password dimenticata

Non hai un account? Ottieni i vantaggi di un account Libristo!

Con un account Libristo, avrai tutto sotto controllo.

Crea un account Libristo
Consulente di libri Libroamiko
Ciao, sono Libroamiko, posso aiutarti?