Entra a far parte di una comunità di amanti dei libri di tutto il mondo e ottieni numerosi vantaggi.
Crea un account gratuito
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 €
Contatto
Come acquistare
Aiuto
Consegna
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 €
Guida all'acquisto
Il mio account
▸
Vuoto :-(
0
FM 2008: Formal Methods
15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008
Lingua
Inglese
Inglese
Libro
In brossura
This book presents the refereed proceedings of the 15th International Symposium on Formal Methods, F...
Descrizione completa
Codice Libristo: 01567668
?
111 b
111 b
45.49
€
Magazzino esterno
Inviamo tra 5-8 giorni
Fino a 30 giorni per il reso
I clienti hanno acquistato anche
/
In brossura
10.69
€
This book presents the refereed proceedings of the 15th International Symposium on Formal Methods, FM 2008, held in Turku, Finland in May 2008.§The 23 revised full papers presented together with 4 invited contributions and extended abstracts of 5 invited industrial presentations were carefully reviewed and selected from 106 submissions. The papers are organized in topical sections on programming language analysis, verification, real-time and concurrency, grand chellenge problems, fm practice, runtime monitoring and analysis, communication, constraint analysis, and design.
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
FM 2008: Formal Methods
Autore
Jorge Cuellar, Tom Maibaum
Lingua
Inglese
Inglese
Rilegatura
Libro - In brossura
Data di pubblicazione
2008
Numero di pagine
436
EAN
9783540682356
ISBN
354068235X
Codice Libristo
01567668
Casa editrice
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Peso
694
Dimensioni
155 x 235 x 25
Categorie
Informatica e Tecnologia dell’Informazione
>
Programmazione / ingegneria del software
>
Algoritmi e strutture dati
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
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
26.79
€
