Status van bestelling controleren
LIBRISTO
LIBROAMANTO
verplicht
Wachtwoord vergeten
Word lid van een gemeenschap van boekenliefhebbers van over de hele wereld en krijg een heleboel voordelen. Gratis account aanmaken
0
Gratis bezorging met Zásilkovna boven 59.99 €
DPD koerier 5.49 € DHL koeriersdienst 5.49 € GLS koerier 4.99 € DPD-punt 3.99 €
phone Contact phoneHoe winkelen bij ons werkt
Gratis verzending vanaf 59,99 euro.

FME 2001: Formal Methods for Increasing Software Productivity

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

Taal EngelsEngels
Boek Gebonden (paperback)
Boek FME 2001: Formal Methods for Increasing Software Productivity Jose N. Oliveira
Libristo-code: 01563353
Uitgeverij Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, februari 2001
This book constitutes the refereed proceedings of the International Symposium of Formal Methods Euro... Volledige beschrijving
? points 249 b
102.84 €
In extern magazijn Wordt binnen 5-8 dagen verzonden

Tot 30 dagen retourrecht

Klanten kochten ook

Cut scene. Un montaggio diverso sull'autolesionismo Rita Latella / Boek Gebonden (paperback)
common.buy 26.06 €
Under the Stars (Punjabi Gurmukhi Kids Book) Kidkiddos Books / Boek Gebonden (paperback)
common.buy 16.56 €
Bela Dama - A Empresaria do Ano Cleberson Eduardo Da Costa / Boek Gebonden (paperback)
common.buy 10.30 €
Guadeloupe COLLECTIFS GALLIMARD LOISIRS / Boek Gebonden (paperback)
common.buy 15.45 €
Studentenküche veggie - Mehr als 60 einfache vegetarische Rezepte, Infos zu leckerem Fleischersatz und das wichtigste Küchen-Know-How Ann-Cathrine Johnsson / Boek Gebonden (harde band)
common.buy 13.12 €
Catalogue Des Livres Chinois, Coreens, Japonais, Etc Tome 1 Bibliotheque Nationale / Boek Gebonden (paperback)
common.buy 33.13 €
La muchacha de los ojos de oro HONORE DE BALZAC / Boek Gebonden (paperback)
common.buy 11.91 €
Paroles de La Grece Antique Jacques Lacarriere / Boek Gebonden (paperback)
common.buy 14.34 €
Fragmentacion del Adn de Espermatozoides Humanos Rebeca Santiso / Boek Gebonden (paperback)
common.buy 66.57 €
Folgebewertung des Goodwill Tino Fettback / Boek Gebonden (paperback)
common.buy 65.86 €
Ausweg ins Unwirkliche Clemens Brunn / Boek Gebonden (paperback)
common.buy 44.44 €
Russische Reise Hermann Bahr / Boek Gebonden (paperback)
common.buy 20.50 €
Vertragsstrafenklauseln im Arbeitsrecht Manuel Sedlak / Boek Gebonden (paperback)
common.buy 16.16 €
"Bemerkungen uber eine sonderbare litterarische Erscheinung Carola Katharina Bauer / Boek Gebonden (paperback)
common.buy 16.16 €
Aushandlung Ohne Dissens? Sarah Hitzler / Boek Gebonden (paperback)
common.buy 53.03 €
Guida per l'insegnante Telis Marin / Boek Gebonden (paperback)
common.buy 17.37 €
BLACK CAT -Jamais de jasmin + CD (A1) MARGUERITE DESCOMBES / Boek Gebonden (paperback)
common.buy 8.98 €

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.

Actrice & Polyglot
EWA KASP voor
Video afspelen
Ewa Kasp
Libristo heeft de grootste selectie boeken in vreemde talen. Daarom koop ik mijn boeken hier.

Informatie over het boek

Volledige naam FME 2001: Formal Methods for Increasing Software Productivity
Auteur Jose N. Oliveira, Pamela Zave
Taal Engels
Bindwijze Boek - Gebonden (paperback)
Datum van uitgifte 2001
Aantal pagina's 634
EAN 9783540417910
ISBN 3540417915
Libristo-code 01563353
Uitgeverij Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Gewicht 1083
Afmetingen 155 x 233 x 35

Categorieën

Economie, Financiën, Bedrijf en Management > Bedrijfsmanagement > Bedrijfswiskunde en -systemen
Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Softwareontwikkeling
Informatica en informatietechnologie > Informatica > Wiskundige systeemtheorie
Informatica en informatietechnologie > Informatica > Computerarchitectuur en logica-ontwerp
Informatica en informatietechnologie > Bedrijfsapplicaties
Informatica en informatietechnologie > Besturingssystemen
Geef dit boek vandaag nog cadeau
Dat gaat heel eenvoudig
1 Voeg het boek toe aan je winkelwagentje en selecteer Als cadeau bezorgen 2 Je krijgt van ons per omgaand een voucher 3 Het boek wordt bezorgd op het adres van de ontvanger

Dit vind je misschien ook interessant

Civil Rights and Beyond: African American and Latino/A Activism in the Twentieth Century United States Dan Berger / Boek Gebonden (harde band)
common.buy 115.77 €
Cambridge Old English Reader Richard Marsden / Boek Gebonden (harde band)
common.buy 136.08 €
Glass of Time MICHAEL / Boek Gebonden (paperback)
common.buy 14.44 €
Switch Mode Power Conversion K. Kit Sum / Boek Gebonden (harde band)
common.buy 317.63 €
Miracle Gilbert Morris / Boek Gebonden (paperback)
common.buy 14.54 €
Special and Inclusive Education Thér?se Day / Boek Gebonden (paperback)
common.buy 69.20 €
Making Money Stephen Briggs / Boek Gebonden (paperback)
common.buy 18.88 €
Boys Who Rocked the World Michelle Roehm McCann / Boek Gebonden (paperback)
common.buy 11.51 €
Information Delivery in the 21st Century Tammy Nickelson Dearie / Boek Gebonden (paperback)
common.buy 73.44 €
There Is a Rainbow Inside of Me Debra Ann Healey / Boek Gebonden (paperback)
common.buy 16.46 €
STEAM Kids Christmas: Science / Technology / Engineering / Art / Math Activity Countdown for Kids Anne Carey / Boek Gebonden (paperback)
common.buy 23.83 €
SOLUTION OF BIBLE PROBLEMS & L Benjamin Casey / Boek Gebonden (harde band)
common.buy 33.53 €
The Principles of the Law of Municipal Corporations. Charles Burke Elliott / Boek Gebonden (paperback)
common.buy 30.70 €
Party Leaders in the United States Congress, 1789-2012 Valerie Heitshusen / Boek Gebonden (paperback)
common.buy 15.75 €
Escape Heleen van Royen / Boek Gebonden (paperback)
common.buy 27.37 €
Understanding Genre and Medieval Romance K.S. Whetter / Boek Gebonden (harde band)
common.buy 234.69 €
Rational Risk Policy W. Kip Viscusi / Boek Gebonden (harde band)
common.buy 196.50 €
Research Methods for Managers John Gill / Boek Gebonden (paperback)
common.buy 48.08 €
Evolution Jeri Travis / Boek Gebonden (harde band)
common.buy 25.96 €
A Tale of Two Cities Charles Dickens / Boek Gebonden (paperback)
common.buy 11.51 €
Naturalizing Epistemic Virtue Abrol Fairweather / Boek Gebonden (harde band)
common.buy 99.81 €
The Pattern Cookbook (1890) Butterick Publishing / Boek Gebonden (harde band)
common.buy 60.91 €
B. J. Harrison Reads The Wind in the Willows Grahame / Luisterboek MP3
common.buy 9.49 €
Secret Surveyor Secret Surveyor / E-book Adobe ePub DRM
common.buy 9.89 €

Inloggen

Log in op je account. Heb je nog geen Libristo-account? Maak nu een account aan!

 
verplicht
verplicht
Wachtwoord vergeten

Heb je geen account? Profiteer van de voordelen van een Libristo-account!

Met een Libristo-account heb je alles onder controle.

Een Libristo-account aanmaken
Boekadviseur Libroamiko
Hoi, ik ben Libroamiko, kan ik helpen?