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 5.99 €
phone Contatto phoneCome acquistare
Spedizione gratuita per ordini superiori a 69,99 euro.

FM 2008: Formal Methods

15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008

Lingua IngleseInglese
Libro In brossura
Libro FM 2008: Formal Methods Jorge Cuellar
Codice Libristo: 01567668
Casa editrice Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, maggio 2008
This book presents the refereed proceedings of the 15th International Symposium on Formal Methods, F... Descrizione completa
? points 132 b
53.79 €
Magazzino esterno Inviamo tra 5-8 giorni

30 giorni per il reso

I clienti hanno acquistato anche

Nachhilfe Mathematik - Teil 2: Bruchrechnen und Dezimalzahlen Erich Bulitta / Libro In brossura
common.buy 14.19 €
Passion,pain & poetry Sabine Seide/Müller / Audio CD audio
common.buy 14.29 €
Sur Un Lithotriteur Courbe, Fort Simple Et Sur Une Modification Du Brisepierre, de M. Jacobson SEGALAS D'ETCHEPARE-P-S / Libro In brossura
common.buy 13.19 €
La grande escapade Blondel / Libro In brossura
common.buy 23.69 €
Телефонна агітація Noe Spies / Libro elettronico Adobe ePub DRM
common.buy 11.99 €
In preparazione Nuovi
Adventní kalendář 2026 Toy Story / Libro binding.
common.buy 13.59 €

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
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 FM 2008: Formal Methods
Autore Jorge Cuellar, Tom Maibaum
Lingua 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 > Hardware informatico > Manutenzione e riparazione
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
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

Laparoscopic Urologic Oncology Jeffrey A. Cadeddu / Libro Rigido
common.buy 173.59 €
Balkan Memories Tanja Zimmermann / Libro In brossura
common.buy 29.89 €
Henrietta Temple a Love Story Benjamin / Libro In brossura
common.buy 18.79 €
The Star-Spangled Banner for Harp Sylvia Woods / Libro In brossura
common.buy 6.29 €
White Rabbit Time Lynda / Libro In brossura
common.buy 8.79 €
Brotherhood of the Rosy Cross - A History of the Rosicrucians ARTHUR EDWARD WAITE / Libro In brossura
common.buy 32.79 €
Carousel: sequel to Helter-Skelter Elizabeth Young / Libro In brossura
common.buy 12.69 €

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?