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

10th International Conference on Formal Engineering Methods ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008, Proceedings

Lingua IngleseInglese
Libro In brossura
Libro Formal Methods and Software Engineering Shaoying Liu
Codice Libristo: 01570773
Casa editrice Springer, Berlin, novembre 2007
This book constitutes the refereed proceedings of the 10th International Conference on Formal Engine... Descrizione completa
? points 141 b
57.79 €
Magazzino esterno in piccole quantità Inviamo tra 13-18 giorni

30 giorni per il reso

I clienti hanno acquistato anche

Programmieren Lernen Peter Pepper / Libro In brossura
common.buy 49.29 €
Grenzen, Nähe, Respekt Jesper Juul / Libro In brossura
common.buy 12.29 €
Finanzpolitik im Umbruch: Zur Konsolidierung öffentlicher Haushalte. Hans Herbert von Arnim / Libro In brossura
common.buy 73.69 €
Richterrecht und Verfassung. Jörn Ipsen / Libro In brossura
common.buy 66.39 €
Herrschaft Susanne Held / Libro Rigido
common.buy 24.79 €
matrimonio nel diritto ebraico Daniele Zaccheddu / Libro In brossura
common.buy 34.09 €

This book constitutes the refereed proceedings of the 10th International Conference on Formal Engineering Methods, ICFEM 2008, held in Kitakyushu-City, Japan, October 2008.§The 20 revised full papers together with 3 invited talks presented were carefully reviewed and selected from 62 submissions. The papers address all current issues in formal methods and their applications in software engineering. They are organized in topical sections on specification and verification; testing; verification; model checking and analysis; tools; application of formal methods; semantics.

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 Shaoying Liu, Tom Maibaum, Keijiro Araki
Lingua Inglese
Rilegatura Libro - In brossura
Data di pubblicazione 2008
Numero di pagine 397
EAN 9783540881933
ISBN 354088193X
Codice Libristo 01570773
Casa editrice Springer, Berlin
Peso 635
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
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 > 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

NUMIFORM 2010 Frederic Barlat / Libro In brossura
common.buy 512.99 €
Microelectronics Education Ton J. Mouthaan / Libro Rigido
common.buy 106.69 €
Horror Before It Was Cool Weasel Press / Libro In brossura
common.buy 8.89 €
Lives Of Scottish Authors (1801) David Irving / Libro In brossura
common.buy 24.89 €
Developing a Champion's Heart: Leadership Lessons from the Life of David Brian Rezendes / Libro In brossura
common.buy 8.89 €
Embracing and Educating the Autistic Child Nicholas D. Young / Libro In brossura
common.buy 42.29 €
I Love You God Amal Ishraim / Libro In brossura
common.buy 10.09 €
Essay Towards an Easy and Useful System of Logic Robert Blakey / Libro Rigido
common.buy 33.69 €
The Garden Crew (We Read Phonics - Level 6) Sindy McKay / Libro In brossura
common.buy 6.49 €
So Far, So Goude Jean-Paul Goude / Libro Rigido
common.buy 115.39 €
I migliori
Yacoubian Building Alaa Al Aswany / Libro In brossura
common.buy 11.39 €
Orienting Polymers J.-L. Ericksen / Libro In brossura
common.buy 27.09 €
Statistical Analysis of Environmental Space-Time Processes Nhu D. Le / Libro In brossura
common.buy 159.89 €

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