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.

Integrated Formal Methods

4th International Conference, IFM 2004, Canterbury, UK, April 4-7, 2004.Proceedings

Lingua IngleseInglese
Libro In brossura
Libro Integrated Formal Methods Eerke A. Boiten
Codice Libristo: 01559229
Casa editrice Springer, Berlin, novembre 2003
This book constitutes the refereed proceedings of the 4th International Conference on Integrated For... Descrizione completa
? points 132 b
53.79 €
Magazzino esterno Inviamo tra 5-8 giorni

Fino a 30 giorni per il reso

I clienti hanno acquistato anche

Rettungswege mit Konzept Josef Mayr / Libro In brossura
common.buy 107.09 €
MUSIC FOR A LOCKED IN DOUBLE BASS TORRES / Audio CD audio
common.buy 19.49 €
Untersuchungen zu Ciceros philosophischen Schriften Rudolf Hirzel / Libro In brossura
common.buy 18.29 €
Hitlers Rache Friedrich-Wilhelm von Hase / Libro elettronico Adobe ePub DRM
common.buy 11.39 €
Miraculous-X-mas Box-Hörspiele / Audio CD audio
common.buy 15.69 €
Telemedizin Karolina Budych / Libro elettronico Adobe ePub DRM
common.buy 29.79 €
Lukittu Unkuri / Audiolibro MP3
common.buy 9.99 €
200 MOTELS (2 CD) Frank Zappa / Audio CD audio
common.buy 12.29 €
Россия в мире: образы и грани взаимодействия Александр Чубарьян / Libro In brossura
common.buy 53.39 €
Prípad Caravaggio Daniel Silva / Libro Rigido
common.buy 15.39 €
Simulieren Und Entscheiden Michael Resch / Libro In brossura
common.buy 55.29 €
BABADADA, shqipe - Nederlands, fjalor me ilustrime - beeldwoordenboek Babadada GmbH / Libro In brossura
common.buy 29.49 €
Kde mŕtvi žijú a nemí hovoria Michal Eliáš / Libro Rigido
common.buy 9.89 €
Equilibra tus chakras con cristales: Energía y curación CARMEN DE LA TORRE PEÑA / Libro In brossura
common.buy 27.19 €
Streichquartett Nr. 1 Isang Yun / Libro Foglio
common.buy 67.59 €
Psychiatrie Wolfgang Frank / Libro In brossura
common.buy 55.09 €
La Piraterie Maritime En Afrique Orientale Gottfried Soelle Mboundja / Libro In brossura
common.buy 64.39 €
Totschlager Emil (Ü: Franz Blei) Zola / Libro In brossura
common.buy 18.79 €

This book constitutes the refereed proceedings of the 4th International Conference on Integrated Formal Methods, IFM 2004, held in Canterbury, UK, in April 2004.The 24 revised full papers presented together with 3 invited papers and one invited tutorial chapter were carefully reviewed and selected from 65 submissions. The papers are devoted to automating program analysis, state/event-based verification, formalizing graphical notions, refinement, object-orientation, hybrid and timed automata, integration frameworks, verifying interactive systems, and testing and assertions.

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 Eerke A. Boiten, John Derrick, Graeme Smith
Lingua Inglese
Rilegatura Libro - In brossura
Data di pubblicazione 2004
Numero di pagine 548
EAN 9783540213772
ISBN 3540213775
Codice Libristo 01559229
Casa editrice Springer, Berlin
Peso 820
Dimensioni 156 x 234 x 28

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
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

Key to kid: How I was able to realize my dream ..? Nothim Assange / Libro In brossura
common.buy 29.49 €
Memories That Smell like Gasoline David Wojnarowicz / Libro elettronico Adobe ePub DRM
common.buy 17.99 €
Coastal Motor Boats Martin Kelly / Libro Rigido
common.buy 44.39 €
I migliori
Better Than the Movies Lynn Painter / Libro In brossura
common.buy 8.69 €
Probiotics for Sustainable Food and Medicine Laghulkar Anita Marotirao / Libro Rigido
common.buy 200.09 €
AQA GCSE French Higher Practice Papers JEAN-CLAUDE GILLES / Libro In brossura
common.buy 15.19 €
Moroccan Cookbook: Traditional Moroccan Recipes Made Easy Grizzly Publishing / Libro In brossura
common.buy 16.59 €
Underestimated HENRY D SOKOLSKI / Libro In brossura
common.buy 19.79 €
Intelligent Data Engineering and Automated Learning Rashid Syed Zahidur / Libro In brossura
common.buy 83.79 €
Welsh Calendar Cookbook Gilli Davies / Libro In brossura
common.buy 10.09 €
Statistical Design and Analysis in Pharmaceutical Science Jen-pei Liu / Libro Rigido
common.buy 224.29 €
Forerunners and Rivals of Christianity: Volume 2 F. Legge / Libro In brossura
common.buy 55.79 €
Advances in Microwave and Radio Frequency Processing M. Willert-Porada / Libro Rigido
common.buy 334.89 €
Anatomy of High Performing Teams Marilyn Laiken / Libro In brossura
common.buy 47.99 €
Replacement of Renal Function by Dialysis C. Jacobs / Libro Rigido
common.buy 114.19 €
Classic Tales Second Edition: Level 1: Peach Boy Sue Arengo / Libro In brossura
common.buy 11.99 €
Terror in Ireland David Fitzpatrick / Libro In brossura
common.buy 20.39 €
New York Yankees Matt Christopher / Libro In brossura
common.buy 10.39 €
Color Atlas of Thyroid Surgery Youn / Libro Rigido
common.buy 136.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?