[email protected]
LIBRISTO 0
Spedizione gratuita con Packeta per un prezzo superiore a 79.99 €
BRT 7.99 € Punto BRT 7.99 € DHL 7.99 € HR Parcel 7.49 € GLS 3.99 €
phone Contatto phoneCome acquistare

FME 2001: Formal Methods for Increasing Software Productivity

Lingua IngleseInglese
Libro In brossura
Libro FME 2001: Formal Methods for Increasing Software Productivity Jose N. Oliveira
Codice Libristo: 01563353
Casa editrice Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, febbraio 2001
This book constitutes the refereed proceedings of the International Symposium of Formal Methods Euro... Descrizione completa
? points 339 b
143.32 €
Magazzino esterno in piccole quantità Inviamo tra 13-16 giorni

30 giorni per il reso

Potrebbe interessarti anche

Classroom Instruction That Works Ceri B Dean / In brossura
common.buy 36.92 €
Making Money Stephen Briggs / In brossura
common.buy 26.00 €
Aushandlung Ohne Dissens? Sarah Hitzler / In brossura
common.buy 59.51 €
Escape Heleen van Royen / In brossura
common.buy 20.97 €
Folgebewertung des Goodwill Tino Fettback / In brossura
common.buy 111.10 €
Boys Who Rocked the World Michelle Roehm McCann / In brossura
common.buy 12.62 €
Banks of the Nile Todd John A / Rigido
common.buy 50.73 €
Evolution Jeri Travis / Rigido
common.buy 33.81 €
Russische Reise Hermann Bahr / In brossura
common.buy 44.95 €
Das Vogtland, 1 DVD Sagenhaft-Reiseführer / DVD
common.buy 13.80 €
Naturalizing Epistemic Virtue Abrol Fairweather / Rigido
common.buy 105.00 €
Ausweg ins Unwirkliche Clemens Brunn / In brossura
common.buy 81.45 €
Civil Rights and Beyond: African American and Latino/A Activism in the Twentieth Century United States Dan Berger / Rigido
common.buy 173.61 €
Catalogue Des Livres Chinois, Coreens, Japonais, Etc Tome 1 Bibliotheque Nationale / In brossura
common.buy 41.84 €
Fragmentacion del Adn de Espermatozoides Humanos Rebeca Santiso / In brossura
common.buy 98.58 €

This book constitutes the refereed proceedings of the International Symposium of Formal Methods Europe, FME 2001, held in Berlin, Germany, in March 2001.The 32 revised full papers presented together with abstracts of three invited talks were carefully reviewed and selected from a total of 72 submissions. Focusing on increasing software productivity, all current aspects in formal methods are covered. Among the application areas addressed are avionics, smart cards, financial engineering, E-commerce, middleware, security, telecommunications, etc.

Informazioni sul libro

Titolo completo FME 2001: Formal Methods for Increasing Software Productivity
Autore Jose N. Oliveira, Pamela Zave
Lingua Inglese
Rilegatura Libro - In brossura
Data di pubblicazione 2001
Numero di pagine 634
EAN 9783540417910
ISBN 3540417915
Codice Libristo 01563353
Casa editrice Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Peso 1083
Dimensioni 155 x 233 x 35

Categorie

Economia, Finanza, Imprenditoria e Management > Economia Aziendale, Imprenditoria e Management > Matematica e sistemi aziendali
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
Informatica e Tecnologia dell’Informazione > Applicazioni aziendali
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

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