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 €
Corriere Bartolini 4.49 € Punto Poste 5.49 € Punto Poste 5.49 € Punto Bartolini 3.49 € Corriere DHL 6.99 € Corriere GLS 5.99 € Punto GLS 4.49 €
phone Contatto phoneCome acquistare
Spedizione gratuita per ordini superiori a 69,99 euro.

Formal Methods and Software Engineering

7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005, Proceedings

Lingua IngleseInglese
Libro In brossura
Libro Formal Methods and Software Engineering Kung-Kiu Lau
Codice Libristo: 01561356
Casa editrice Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, ottobre 2005
This book constitutes the refereed proceedings of the 7th International Conference on Formal Enginee... Descrizione completa
? points 132 b
53.79 €
Magazzino esterno Inviamo tra 5-8 giorni

Fino a 30 giorni per il reso

I clienti hanno acquistato anche

Základy chirurgie Jiří Valenta / Libro Rigido
common.buy 24.89 €
La Cuisine Classique: Etudes Pratiques, Raisonnees Et Demonstratives Urbain DuBois / Libro In brossura
common.buy 28.19 €
In preparazione
Entdecke die Zugvögel Thomas Schmidt / Libro Rigido
common.buy 14.99 €
Brotaufstriche selbst gemacht Martina Kittler / Libro Rigido
common.buy 16.49 €
Japanisches Management in Internationalen Unternehmen Daniel Dirks / Libro In brossura
common.buy 49.29 €
Le lien du sang Tome 1 - Partie 1 Lamarre / Libro In brossura
common.buy 22.39 €

This book constitutes the refereed proceedings of the 7th International Conference on Formal Engineering Methods, ICFEM 2005, held in Manchester, UK in November 2005.§The 30 revised full papers presented together with 3 invited contributions were carefully reviewed and selected from 74 submissions. The papers address all current issues in formal methods and their applications in software engineering. They are organized in topical sections on specification, modelling, security, communication, development, testing, verification, and tools.

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 Kung-Kiu Lau, Richard Banach
Lingua Inglese
Rilegatura Libro - In brossura
Data di pubblicazione 2005
Numero di pagine 502
EAN 9783540297970
ISBN 3540297979
Codice Libristo 01561356
Casa editrice Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Peso 1580
Dimensioni 216 x 279 x 28

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 > 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

Adaptive Web Peter Brusilovsky / Libro In brossura
common.buy 57.79 €
Speed Vegan Alan Roettinger / Libro In brossura
common.buy 18.89 €
General Circulation of the Ocean Henry Abarbanel / Libro In brossura
common.buy 107.29 €
The Devil in Oxford Jess Armstrong / Libro Rigido
common.buy 24.59 €
Greenhouse Construction: A Complete Manual on the Building, Heating, Ventilating and Arrangement of Greenhouses, and the Construction of Hotbed L R. b. 1859 Taft / Libro In brossura
common.buy 21.99 €
Rituals to Observe Ethan Laughman / Libro elettronico Adobe ePub DRM
common.buy 35.79 €
Eat It! Jordan Syatt / Audiolibro MP3
common.buy 12.29 €
Les Populations Dangereuses et les Misr?es Sociales Paul Cere / Libro In brossura
common.buy 25.89 €
Psychiatry, America's Holocaust Clover Greene / Libro In brossura
common.buy 13.49 €
Apropos Of Women And Theatres, With A Paper Or Two On Parisian Topics (1869) Olive Logan / Libro In brossura
common.buy 27.89 €
Writing Off the Hyphen Torres-Padilla / Libro Rigido
common.buy 122.39 €
Styles and Strategies for Teaching Middle School Mathematics Edward J. Thomas / Libro In brossura
common.buy 36.99 €
Iliad by Homer, Classics, Literary Criticism, Ancient and Classical, Poetry, Ancient, Classical & Medieval Homer / Libro In brossura
common.buy 33.09 €
Design and Technology for Botswana James E. GarrattOlefile B. Molwane / Libro In brossura
common.buy 48.89 €
Logical Foundations of Statistical Inference Henry E. Kyburg Jr. / Libro In brossura
common.buy 160.89 €
Public Finance, Monetary Policy and Market Issues Edward Shinnick / Libro In brossura
common.buy 72.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
Consulente di libri Libroamiko
Ciao, sono Libroamiko, posso aiutarti?