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.

Formal Methods and Software Engineering

13th International Conference on Formal Engineering Methods, ICFEM 2011, Durham, UK, October 26-28, 2011. Proceedings

Lingua IngleseInglese
Libro In brossura
Libro Formal Methods and Software Engineering Shengchao Qin
Codice Libristo: 01659032
Casa editrice Springer, Berlin, novembre 2010
This book constitutes the refereed proceedings of the 13th International Conference on Formal Engine... Descrizione completa
? points 132 b
53.79 €
Magazzino esterno Inviamo tra 8-11 giorni

30 giorni per il reso

I clienti hanno acquistato anche

Il Devoto-Oli dei sinonimi e contrari. Con analoghi, generici, inversi e gradazioni semantiche Maurizio Trifone / Libro In brossura
common.buy 84.99 €
Akademia owoce Opracowanie zbiorowe / Libro In brossura
common.buy 2.69 €
Poesies Choisies Et Pieces Inedites d'Alexis Piron PIRON-A / Libro In brossura
common.buy 27.09 €
Die «andere» Familie Arbeitskreis "Repräsentationen" / Libro Rigido
common.buy 124.89 €
Commentaria in decem Categorias Aristotelis Simplicius / Libro Rigido
common.buy 175.99 €

This book constitutes the refereed proceedings of the 13th International Conference on Formal Engineering Methods, ICFEM 2011, held in Durham, UK, October 2011. The 40 revised full papers together with 3 invited talks presented were carefully reviewed and selected from 103 submissions. The papers address all current issues in formal methods and their applications in software engineering. They are organized in topical sections on formal models; model checking and probability; specification and development; security; formal verification; cyber physical systems; event-B; verification, analysis and testing; refinement; as well as theorem proving and rewriting.

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 Formal Methods and Software Engineering
Autore Shengchao Qin, Zongyan Qiu
Lingua Inglese
Rilegatura Libro - In brossura
Data di pubblicazione 2011
Numero di pagine 670
EAN 9783642245589
ISBN 3642245587
Codice Libristo 01659032
Casa editrice Springer, Berlin
Peso 1143
Dimensioni 155 x 235 x 35

Categorie

Informatica e Tecnologia dell’Informazione > Hardware informatico > Hardware di rete
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 > Teoria matematica della computazione
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

Paragraph Writing Jo Ellen Moore / Libro In brossura
common.buy 14.19 €
Masonic Tour Guide - Volume 2 DANIEL HANTTULA / Libro In brossura
common.buy 21.09 €
At The End Of The Day William J Epp / Libro In brossura
common.buy 20.09 €
The Keys Are Gone: A simple critique of the English Standard Version (ESV) Dr Daniel S Haifley / Libro In brossura
common.buy 9.79 €
I migliori
Ruhnama: The Book of the Soul (Annotated Version) Saparmyrat Turkmenbasy / Libro In brossura
common.buy 10.69 €
Vogue x Music Magazine Vogue / Libro Rigido
common.buy 59.69 €
Jean Prouvé Jean Prouvé / Libro Rigido
common.buy 28.19 €
Die verlore bokkie (Afrikaans) Amanda Jesperson / Libro In brossura
common.buy 6.09 €
Classification of the Bantu Languages bound with Bantu Word Division Malcolm Guthrie / Libro In brossura
common.buy 54.09 €
Iron Ship-Building - With Practical Illustrations John Grantham / Libro Rigido
common.buy 38.49 €
Odes Sharon Olds / Libro In brossura
common.buy 14.69 €
Speakout Advanced 2nd Edition Students' Book and DVD-ROM Pack Antonia Clare / Libro In brossura
common.buy 37.79 €
Impact of the Environment on Psychiatric Disorder Hugh Freeman / Libro Rigido
common.buy 95.89 €
Arab and Arab American Feminisms Rabab Ibrahim Abdulhadi / Libro Rigido
common.buy 36.59 €

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