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
Punto Poste 5.49 € Punto Poste 5.49 € Corriere DHL 6.99 € Corriere GLS 5.99 € Punto GLS 4.49 € Corriere Bartolini 4.49 € Punto Bartolini 3.49 €
phone Contatto phoneCome acquistare

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

MUSIC FOR A LOCKED IN DOUBLE BASS TORRES / Audio CD audio
common.buy 16.79 €
200 MOTELS (2 CD) Frank Zappa / Audio CD audio
common.buy 26.19 €
Untersuchungen zu Ciceros philosophischen Schriften Rudolf Hirzel / Libro In brossura
common.buy 17.19 €
Matematika 4 - 2. diel - Zošit pre učiteľa / Libro In brossura
common.buy 13.69 €
Hitlers Rache Friedrich-Wilhelm von Hase / Libro elettronico Adobe ePub DRM
common.buy 9.19 €
Rettungswege mit Konzept Josef Mayr / Libro In brossura
common.buy 107.09 €
Telemedizin Karolina Budych / Libro elettronico Adobe ePub DRM
common.buy 24.00 €
Lukittu Unkuri / Audiolibro MP3
common.buy 7.89 €
Kde mŕtvi žijú a nemí hovoria Michal Eliáš / Libro Rigido
common.buy 9.99 €
Россия в мире: образы и грани взаимодействия Александр Чубарьян / Libro In brossura
common.buy 56.29 €
Prípad Caravaggio Daniel Silva / Libro Rigido
common.buy 15.69 €
ARQUITECTURA Y CULTURA DEL VINO YRAVEDRA / Libro Libro
common.buy 50.79 €
Miraculous-X-mas Box-Hörspiele / Audio CD audio
common.buy 14.69 €
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 28.79 €
Equilibra tus chakras con cristales: Energía y curación CARMEN DE LA TORRE PEÑA / Libro In brossura
common.buy 30.69 €
Streichquartett Nr. 1 Isang Yun / Libro Foglio
common.buy 60.89 €
La Piraterie Maritime En Afrique Orientale Gottfried Soelle Mboundja / Libro In brossura
common.buy 64.29 €
Lebensbeschreibungen Kaiser Ludwigs des Frommen Julius von Jasmund / Libro In brossura
common.buy 23.39 €
Totschlager Emil (Ü: Franz Blei) Zola / Libro In brossura
common.buy 18.79 €
Psychiatrie Wolfgang Frank / Libro In brossura
common.buy 52.19 €

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

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.19 €
Probiotics for Sustainable Food and Medicine Laghulkar Anita Marotirao / Libro Rigido
common.buy 201.29 €
Underestimated HENRY D SOKOLSKI / Libro In brossura
common.buy 19.29 €
Key to kid: How I was able to realize my dream ..? Nothim Assange / Libro In brossura
common.buy 28.79 €
His Heart's Queen Georgie Sheldon / Libro In brossura
common.buy 8.19 €
Intelligent Data Engineering and Automated Learning Rashid Syed Zahidur / Libro In brossura
common.buy 334.09 €
Welsh Calendar Cookbook Gilli Davies / Libro In brossura
common.buy 9.59 €
I migliori
Better Than the Movies Lynn Painter / Libro In brossura
common.buy 8.69 €
Statistical Design and Analysis in Pharmaceutical Science Jen-pei Liu / Libro Rigido
common.buy 248.79 €
Forerunners and Rivals of Christianity: Volume 2 F. Legge / Libro In brossura
common.buy 53.99 €
I migliori
Coastal Motor Boats Martin Kelly / Libro Rigido
common.buy 44.39 €
Advances in Microwave and Radio Frequency Processing M. Willert-Porada / Libro Rigido
common.buy 341.89 €
Memories That Smell like Gasoline David Wojnarowicz / Libro elettronico Adobe ePub DRM
common.buy 14.20 €
Replacement of Renal Function by Dialysis C. Jacobs / Libro Rigido
common.buy 432.99 €
Terror in Ireland David Fitzpatrick / Libro In brossura
common.buy 19.79 €
Color Atlas of Thyroid Surgery Youn / Libro Rigido
common.buy 136.59 €
New York Yankees Matt Christopher / Libro In brossura
common.buy 10.09 €
I migliori
Classic Tales Second Edition: Level 1: Peach Boy Sue Arengo / Libro In brossura
common.buy 11.79 €
Anatomy of High Performing Teams Marilyn Laiken / Libro In brossura
common.buy 43.09 €

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?