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.

FME 2001: Formal Methods for Increasing Software Productivity

International Symposium of Formal Methods Europe, Berlin, Germany, March 12-16, 2001, Proceedings

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 263 b
107.29 €
Magazzino esterno Inviamo tra 5-8 giorni

Fino a 30 giorni per il reso

I clienti hanno acquistato anche

Cut scene. Un montaggio diverso sull'autolesionismo Rita Latella / Libro In brossura
common.buy 27.29 €
Under the Stars (Punjabi Gurmukhi Kids Book) Kidkiddos Books / Libro In brossura
common.buy 17.19 €
Bela Dama - A Empresaria do Ano Cleberson Eduardo Da Costa / Libro In brossura
common.buy 10.69 €
Guadeloupe COLLECTIFS GALLIMARD LOISIRS / Libro In brossura
common.buy 15.29 €
Studentenküche veggie - Mehr als 60 einfache vegetarische Rezepte, Infos zu leckerem Fleischersatz und das wichtigste Küchen-Know-How Ann-Cathrine Johnsson / Libro Rigido
common.buy 13.69 €
Catalogue Des Livres Chinois, Coreens, Japonais, Etc Tome 1 Bibliotheque Nationale / Libro In brossura
common.buy 33.19 €
La muchacha de los ojos de oro HONORE DE BALZAC / Libro In brossura
common.buy 11.79 €
Paroles de La Grece Antique Jacques Lacarriere / Libro In brossura
common.buy 14.79 €
Fragmentacion del Adn de Espermatozoides Humanos Rebeca Santiso / Libro In brossura
common.buy 69.79 €
Folgebewertung des Goodwill Tino Fettback / Libro In brossura
common.buy 68.99 €
Ausweg ins Unwirkliche Clemens Brunn / Libro In brossura
common.buy 46.59 €
Russische Reise Hermann Bahr / Libro In brossura
common.buy 21.49 €
Vertragsstrafenklauseln im Arbeitsrecht Manuel Sedlak / Libro In brossura
common.buy 16.89 €
"Bemerkungen uber eine sonderbare litterarische Erscheinung Carola Katharina Bauer / Libro In brossura
common.buy 16.89 €
Aushandlung Ohne Dissens? Sarah Hitzler / Libro In brossura
common.buy 55.29 €
Guida per l'insegnante Telis Marin / Libro In brossura
common.buy 17.19 €
In preparazione
BLACK CAT -Jamais de jasmin + CD (A1) MARGUERITE DESCOMBES / Libro In brossura
common.buy 8.89 €

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.

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

Potrebbe interessarti anche

Boys Who Rocked the World Michelle Roehm McCann / Libro In brossura
common.buy 12.09 €
Information Delivery in the 21st Century Tammy Nickelson Dearie / Libro In brossura
common.buy 72.69 €
Switch Mode Power Conversion K. Kit Sum / Libro Rigido
common.buy 328.29 €
Miracle Gilbert Morris / Libro In brossura
common.buy 15.09 €
Christmas to Color Mary Tanana / Libro In brossura
common.buy 13.19 €
Special and Inclusive Education Thér?se Day / Libro In brossura
common.buy 72.09 €
Making Money Stephen Briggs / Libro In brossura
common.buy 19.59 €
In preparazione
Winnie and Wilbur: The Big Bad Robot with audio CD Valerie Thomas / Libro Rigido
common.buy 14.29 €
Glass of Time MICHAEL / Libro In brossura
common.buy 14.29 €
Civil Rights and Beyond: African American and Latino/A Activism in the Twentieth Century United States Dan Berger / Libro Rigido
common.buy 119.99 €
There Is a Rainbow Inside of Me Debra Ann Healey / Libro In brossura
common.buy 17.09 €
STEAM Kids Christmas: Science / Technology / Engineering / Art / Math Activity Countdown for Kids Anne Carey / Libro In brossura
common.buy 24.79 €
SOLUTION OF BIBLE PROBLEMS & L Benjamin Casey / Libro Rigido
common.buy 34.79 €
The Principles of the Law of Municipal Corporations. Charles Burke Elliott / Libro In brossura
common.buy 31.79 €
Party Leaders in the United States Congress, 1789-2012 Valerie Heitshusen / Libro In brossura
common.buy 16.39 €
Cambridge Old English Reader Richard Marsden / Libro Rigido
common.buy 141.19 €
Escape Heleen van Royen / Libro In brossura
common.buy 28.39 €
Understanding Genre and Medieval Romance K.S. Whetter / Libro Rigido
common.buy 242.59 €
Rational Risk Policy W. Kip Viscusi / Libro Rigido
common.buy 194.49 €
Research Methods for Managers John Gill / Libro In brossura
common.buy 50.59 €
Evolution Jeri Travis / Libro Rigido
common.buy 27.39 €
A Tale of Two Cities Charles Dickens / Libro In brossura
common.buy 12.09 €
Naturalizing Epistemic Virtue Abrol Fairweather / Libro Rigido
common.buy 104.39 €
The Pattern Cookbook (1890) Butterick Publishing / Libro Rigido
common.buy 63.19 €

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?