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 7.99 €
phone Contatto phoneCome acquistare
Spedizione gratuita per ordini superiori a 69,99 euro.

Integrated Formal Methods

Third International Conference, IFM 2002, Turku, Finland, May 15-18, 2002. Proceedings.

Lingua IngleseInglese
Libro In brossura
Libro Integrated Formal Methods Michael Butler
Codice Libristo: 01564333
Casa editrice Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, maggio 2002
This book constitutes the refereed proceedings of the Third International Conference on Integrated F... Descrizione completa
? points 132 b
53.79 €
Magazzino esterno Inviamo tra 5-8 giorni

30 giorni per il reso

I clienti hanno acquistato anche

Walter Petters: Praktische Strafrechtsfalle Mit Loesungen. Teil 1 Walter Petters / Libro Rigido
common.buy 113.69 €
Haftung Und Besteuerung Des Vermoegensberaters Werner Klumpe / Libro In brossura
common.buy 55.29 €
Rumanische Marchen Mite Kremnitz / Libro In brossura
common.buy 24.29 €
Özel Tüketim Vergisi Kanunu / Libro In brossura
common.buy 15.79 €
MATÉRIAUX - Mise en forme des métaux - Plasticité, rhéologie, tribologie Felder / Libro In brossura
common.buy 51.09 €
Divan Ahmed Akir Paa / Libro In brossura
common.buy 19.99 €
Das Forvm Romanvm: Seine Geschichte Und Seine Denkmaler (1905) Christian Huelsen / Libro In brossura
common.buy 30.79 €
Ciceron, Correspondance: (Mars 49 - Avril 46 Avant J.-C.) Jean Beaujeu / Libro In brossura
common.buy 63.19 €
Mein Gestern Manfred Jurgensen / Libro In brossura
common.buy 15.89 €
Apokalypse Adrienne von Speyr / Libro Rigido
common.buy 41.09 €
Neocortext Vojtěch Němec / Libro In brossura
common.buy 7.89 €
Lettres A M. Le Duc de Blacas d'Aulps Relatives Au Musee Royal Egyptien de Turin, 2eme Lettre CHAMPOLLION-J / Libro In brossura
common.buy 19.09 €

This book constitutes the refereed proceedings of the Third International Conference on Integrated Formal Methods, IFM 2002, held in Turku, Finland, in May 2002.The 18 revised full papers presented together with three invited papers were carefully reviewed and selected from a total of 46 submissions. The papers are organized in topical sections on integration, simulation, and animation; from specification to verification; statcharts and B: integration and translation; model checkers and theorem provers; links between object-Z and CSP; combining graphical and formal approaches; and refinement and proof.

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 Integrated Formal Methods
Autore Michael Butler, Luigia Petre, Kaisa Sere
Lingua Inglese
Rilegatura Libro - In brossura
Data di pubblicazione 2002
Numero di pagine 401
EAN 9783540437031
ISBN 3540437037
Codice Libristo 01564333
Casa editrice Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Peso 1280
Dimensioni 155 x 235 x 23

Categorie

Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Intelligenza artificiale > Apprendimento automatico (Machine learning)
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
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

Biotechnology Fundamentals Khan / Libro In brossura
common.buy 98.89 €
Learning Pentaho Data Integration 8 CE - Third Edition Maria Carina Roldan / Libro In brossura
common.buy 58.29 €
Spawn: Origins Deluxe Edition 3 Brian Holguin / Libro Rigido
common.buy 78.89 €
Sufism Alexander Knysh / Libro In brossura
common.buy 31.69 €
Frankissstein Jeanette Winterson / Libro In brossura
common.buy 14.29 €
Melchizedek: Unmasked Baal Kadmon / Libro In brossura
common.buy 15.39 €
Aesop's Fables Santore Charles / Libro Rigido
common.buy 14.69 €
Barnes' Popular History Of The United States Of America V1 (1904) Joel Dorman Steele / Libro In brossura
common.buy 34.79 €
The Critical Care Pocket Guide Sergio Niosi / Libro In brossura
common.buy 11.19 €
Konohana Kitan, Volume 2 Sakuya Amano / Libro elettronico Adobe ePub DRM
common.buy 8.09 €
Destroyer of the gods Larry W. Hurtado / Libro elettronico Adobe ePub DRM
common.buy 36.19 €
The Last Song of Penelope NORTH CLAIRE / Libro In brossura
common.buy 16.49 €
Tales of Wedding Rings, Vol. 15 Andrew Cunningham / Libro In brossura
common.buy 12.69 €
Crazy Sexy Diet Kris Carr / Libro In brossura
common.buy 23.89 €
Essential David Bohm Lee Nichol / Libro In brossura
common.buy 61.59 €
Collected Short Stories Aldous Huxley / Libro In brossura
common.buy 22.89 €
Political Thought and the Public Sphere in Tanzania Emma Hunter / Libro Rigido
common.buy 131.79 €
Pandora's Box Trilogy Adam Teachout / Libro In brossura
common.buy 19.99 €
Anti-Money Laundering: What You Need to Know (Jersey fiduciary edition): A concise guide to anti-money laundering and countering the financin Susan Grossey / Libro In brossura
common.buy 8.59 €
Dark Magic Christine Feehan / Libro In brossura
common.buy 13.79 €

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