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

8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010, Proceedings

Lingua IngleseInglese
Libro In brossura
Libro Integrated Formal Methods Dominique Méry
Codice Libristo: 01656785
Casa editrice Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, ottobre 2010
This book constitutes the refereed proceedings of the 8th International Conference on Integrated For... Descrizione completa
? points 132 b
53.79 €
Magazzino esterno Inviamo tra 5-8 giorni

30 giorni per il reso

I clienti hanno acquistato anche

Indigenes Wohnen und Leben in den nördlichen Savannen Afrikas Gerhard Glombiewski / Libro In brossura
common.buy 18.79 €
In Wirklichkeit Ist Das Weib Dem Mann UEberlegen Adler Wissa / Libro In brossura
common.buy 35.79 €
Het oog der liefde Kent / Audiolibro MP3
common.buy 7.39 €
A la orilla de la ziranda: Narrativa Ernesto Adair Zepeda Villarreal / Libro In brossura
common.buy 8.89 €
Vingt-Quatre Nouvelles Genevoises, Volume 2 M Ril Catalan / Libro In brossura
common.buy 21.79 €
Petite Terreur ou souffre-douleur Stéphane Bourcet / Libro In brossura
common.buy 29.29 €
Manejo de maquinaria de corte de bloques de piedra Encarnación López Béjar / Libro In brossura
common.buy 23.59 €
Potencial de Croacia como destino turístico para el mercado ruso / Libro In brossura
common.buy 37.29 €
Vežovníček Marta Hlušíková; Alena Wagnerová / Libro Rigido
common.buy 7.79 €
Jakobsweg ist uberall Olaf Behrens / Libro In brossura
common.buy 15.49 €
Die fabelhafte Welt der Libellen (Tischaufsteller DIN A5 quer) Heike Hultsch / Libro In brossura
common.buy 17.69 €
Die Langschwanzeidechsen der Gattung Takydromus Uwe Schlüter / Libro In brossura
common.buy 15.89 €
Oberwallis Roland Nanzer / Libro Rigido
common.buy 35.99 €
Einleitung in Die Psychologie Nach Kritischer Methode Paul Natorp / Libro In brossura
common.buy 18.79 €
Einheitliche europaische Akte und europaischer Binnenmarkt Jan Pfitzner / Libro In brossura
common.buy 16.89 €
Grundkurs Statistik Fur Politologen Und Soziologen Uwe W. Gehring / Libro In brossura
common.buy 54.19 €
Schumann-Handbuch Ulrich Tadday / Libro Rigido
common.buy 33.29 €
Die Strafgewalt der Kirche. Wilhelm Rees / Libro In brossura
common.buy 98.19 €
Grandes Personajes de la Historia - Biografias noveladas Consuelo Jimenez De Cisneros / Libro In brossura
common.buy 14.49 €
Projekt da Vinci - Hledání pravdy DVD + CD (ČJ, AJ, NJ, ŠJ, FJ) / Video Video
common.buy 7.49 €

This book constitutes the refereed proceedings of the 8th International Conference on Integrated Formal Methods, IFM 2010, held in Nancy, France, in October 2010. The 20 revised full papers presented together with 3 invited papers were carefully reviewed and selected from 59 submissions. The papers address the spectrum of integrated formal methods, ranging from formal and semiformal notations, semantics, refinement, verification and model transformations to type systems, logics, tools and case studies.

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 Dominique Méry, Stephan Merz
Lingua Inglese
Rilegatura Libro - In brossura
Data di pubblicazione 2010
Numero di pagine 337
EAN 9783642162640
ISBN 3642162649
Codice Libristo 01656785
Casa editrice Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Peso 528
Dimensioni 155 x 235 x 19

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

Knight of the White Cross George Alfred Henty / Libro In brossura
common.buy 16.89 €
To Duel With the Hands of God James R Elliott / Libro In brossura
common.buy 16.09 €
Coffee Table Conversations Tina Divina / Libro In brossura
common.buy 20.99 €
Multivariate Statistical Analysis V.I. Serdobolskii / Libro In brossura
common.buy 107.29 €
Miscellanies Upon Various Subjects John Aubrey / Libro In brossura
common.buy 14.09 €
Measurement of Partial Discharges in Power Transformers using Electromagnetic Signals Sebastian Coenen / Libro In brossura
common.buy 22.49 €
Alpha Jasinda Wilder / Libro In brossura
common.buy 16.99 €
How to Analyze People Ryan James / Libro In brossura
common.buy 19.19 €
Demographic Masculinization of China Isabelle Attané / Libro Rigido
common.buy 53.79 €
Transcending Textuality Ariadna Garcia Bryce / Libro In brossura
common.buy 49.29 €

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