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 €
Corriere Bartolini 4.49 € Punto Poste 5.49 € Punto Poste 5.49 € Punto Bartolini 3.49 € Corriere DHL 6.99 € Corriere GLS 5.99 € Punto GLS 4.49 €
phone Contatto phoneCome acquistare
Spedizione gratuita per ordini superiori a 69,99 euro.

FM 2006: Formal Methods

14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings

Lingua IngleseInglese
Libro In brossura
Libro FM 2006: Formal Methods Jayadev Misra
Codice Libristo: 01562449
Casa editrice Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, agosto 2006
This book presents the refereed proceedings of the 14th International Symposium on Formal Methods, F... Descrizione completa
? points 277 b
113.19 €
Magazzino esterno in piccole quantità Inviamo tra 13-18 giorni

Fino a 30 giorni per il reso

I clienti hanno acquistato anche

Madoka Mágica Different, 1 HANOKAGE / Libro Rigido
common.buy 7.99 €
Coloriages mystères Fleurs / Libro In brossura
common.buy 21.59 €
Three Cheers for Kid McGear! Sherri Duskey Rinker / Libro Rigido
common.buy 12.59 €
Grundzüge der Volkswirtschaftslehre Mark P. Taylor / Libro In brossura
common.buy 46.69 €

This book presents the refereed proceedings of the 14th International Symposium on Formal Methods, FM 2006, held in Hamilton, Canada, August 2006. The book presents 36 revised full papers together with 2 invited contributions and extended abstracts of 7 invited industrial presentations, organized in topical sections on interactive verification, formal modelling of systems, real time, industrial experience, specification and refinement, programming languages, algebra, formal modelling of systems, and more.

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 FM 2006: Formal Methods
Autore Jayadev Misra, Tobias Nipkow, Emil Sekerinski
Lingua Inglese
Rilegatura Libro - In brossura
Data di pubblicazione 2006
Numero di pagine 620
EAN 9783540372158
ISBN 3540372156
Codice Libristo 01562449
Casa editrice Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Peso 958
Dimensioni 155 x 235 x 33

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

Filmmaker Says Jamie Thompson Stern / Libro Rigido
common.buy 29.69 €
I migliori
DARLING in the FRANXX Vol. 5-6 Kentaro Yabuki / Libro In brossura
common.buy 16.49 €
I migliori
Moonology Manifestation Oracle Yasmin Boland / Pubblicazioni cartacee Carte
common.buy 17.69 €
Vegan Keto Diet for Beginners: The Simplest Plant Based Diet for a Healthy Mind and Body. With Diet Plan, Meal Plan, Meal Prep and Whole Foods Cookbo Mary Knox / Libro In brossura
common.buy 15.69 €
PARCC Math Workbook Reza Nazari / Libro In brossura
common.buy 18.09 €
My Best Recipes Victoria Joly / Libro In brossura
common.buy 19.59 €
We Are Absolutely Not Okay: Fourteen Stories by Teenagers Who Are Picking Up the Pieces Marjie Bowker / Libro In brossura
common.buy 8.89 €
Arms and Armour of the Medieval Joust Tobias Capwell / Libro In brossura
common.buy 11.39 €
Shakespeare's King John. with Notes, Examination Papers, and Plan of Preparation. (Selected.) Brainerd Kellogg / Libro Rigido
common.buy 32.79 €
Think "Moderates!" Milton King / Libro In brossura
common.buy 17.89 €
Rooftops of Tehran Mahbod Seraji / Libro In brossura
common.buy 13.19 €
I migliori
Convoluted Universe: Book One Dolores Cannon / Libro In brossura
common.buy 16.59 €
Spiritual Dimension John Cottingham / Libro In brossura
common.buy 36.39 €
Hidden Gems Volume II: Contemporary Black British Plays Deirdre Osborne / Libro In brossura
common.buy 25.69 €

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?