Spedizione gratuita per ordini superiori a 69,99 euro.
Entra a far parte di una comunità di amanti dei libri di tutto il mondo e ottieni numerosi vantaggi.
Crea un account gratuito
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 €
Contatto
Come acquistare
Aiuto
Consegna
Bartolini 4.49 €
Punto Poste 5.49 €
Punto Poste 5.49 €
Punto Bartolini 3.49 €
DHL 6.99 €
GLS 7.99 €
Spedizione gratuita con Packeta per un prezzo superiore a 69.99 €
Guida all'acquisto
Il mio account
▸
Vuoto :-(
0
Spedizione gratuita per ordini superiori a 69,99 euro.
Integrated Formal Methods
7th International Conference, IFM 2009, Dusseldorf, Germany, February 16-19, 2009, Proceedings
Lingua
Inglese
Inglese
Libro
In brossura
This book constitutes the refereed proceedings of the 7th International Conference on Integrated For...
Descrizione completa
Codice Libristo: 01649327
?
132 b
132 b
53.79
€
Magazzino esterno
Inviamo tra 5-8 giorni
30 giorni per il reso
I clienti hanno acquistato anche
This book constitutes the refereed proceedings of the 7th International Conference on Integrated Formal Methods, IFM 2009, held in Düsseldorf, Germany in February 2009.§The 21 revised full papers presented together with 3 invited papers were carefully reviewed and selected from 55 submissions. The papers address the whole spectrum of integrated formal methods, ranging from formal and semiformal modelling notations, semantics, verification, refinement, model transformations to type systems, logics, tools and case studies.
Attrice
&
Poliglotta
EWA KASP
per
Riproduci video
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 Leuschel, Heike Wehrheim
Lingua
Inglese
Inglese
Rilegatura
Libro - In brossura
Data di pubblicazione
2009
Numero di pagine
367
EAN
9783642002540
ISBN
3642002544
Codice Libristo
01649327
Casa editrice
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Peso
581
Dimensioni
155 x 235 x 21
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
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 destinatarioPotrebbe interessarti anche
/
In brossura
22.99
€
/
In brossura
8.09
€
