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 2012: Formal Methods

18th International Symposium, Paris, France, August 27-31, 2012. Proceedings

Lingua IngleseInglese
Libro In brossura
Libro FM 2012: Formal Methods Dimitra Giannakopoulou
Codice Libristo: 01661952
Casa editrice Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, luglio 2012
This book constitutes the refereed proceedings of the 18th International Symposium on Formal Methods... Descrizione completa
? points 132 b
53.79 €
Magazzino esterno Inviamo tra 5-8 giorni

30 giorni per il reso

I clienti hanno acquistato anche

Dárek z pouti Luboš Kafka / Libro Rigido
common.buy 23.99 €
Machtergreifung des Nationalsozialismus und Massnahmen zur Machtsicherung Patrick Pigan / Libro In brossura
common.buy 44.79 €
Das große Limpert-Buch der Zirkuskünste Stefan Eberherr / Libro Rigido
common.buy 37.39 €
Furstenfeldbruck-Literarisch Angelika Mundorff / Libro In brossura
common.buy 14.09 €
Formirovanie portfelya na osnove mery riska Value-At-Risk Elena Kolyasnikova / Libro In brossura
common.buy 57.69 €
Antes de convertirnos en piedra Sergio (Mr. Wandererr) Chico / Libro elettronico Adobe ePub DRM
common.buy 6.79 €
Postdata E.M.A / Libro In brossura
common.buy 16.69 €

This book constitutes the refereed proceedings of the 18th International Symposium on Formal Methods, FM 2012, held in Paris, France, in August 2012. The 28 revised full papers presented together with 7 tool papers and 3 invited talks were carefully reviewed and selected from numerous submissions. The papers cover several aspects of formal methods, including verification, synthesis, runtime monitoring, testing and controller synthesis, as well as novel applications of formal methods in interesting domains such as satellites, autonomous vehicles and disease dynamics.

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 2012: Formal Methods
Autore Dimitra Giannakopoulou, Dominique Mery
Lingua Inglese
Rilegatura Libro - In brossura
Data di pubblicazione 2012
Numero di pagine 488
EAN 9783642327582
ISBN 3642327583
Codice Libristo 01661952
Casa editrice Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Peso 765
Dimensioni 155 x 235 x 28

Categorie

Matematica e Scienze > Matematica > Fondamenti della matematica > Logica matematica
Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Interazione uomo-macchina > Progettazione e usabilità delle interfacce utente
Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Interazione uomo-macchina > Architettura dell’informazione
Informatica e Tecnologia dell’Informazione > Hardware informatico > Manutenzione e riparazione
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

Th Thorium Robert G. Behrens / Libro In brossura
common.buy 615.49 €
Works of William H. Seward William Henry Seward / Libro In brossura
common.buy 38.19 €
Comparative Study of Chinese and Western Cyclic Myths Robert Shanmu Chen / Libro Rigido
common.buy 72.89 €
Methods of Cancer Diagnosis, Therapy, and Prognosis M. A. Hayat / Libro In brossura
common.buy 321.39 €
Whistleblowing at Work David Lewis / Libro In brossura
common.buy 117.89 €
Dancing With Danger Byrne Kerrigan Byrne / Libro In brossura
common.buy 12.19 €
Life Behind Bars Gordon Culpin / Libro In brossura
common.buy 19.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?