Status der Bestellung anzeigen

Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen

DPD-Kurier 4.49 € Hermes Kurierdienst 4.99 € DHL-Kurier 3.99 € Hermes-Stelle 4.49 € DPD-Stelle 2.99 € GLS-Kurierdienst 4.99 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

FME 2001: Formal Methods for Increasing Software Productivity

Name: FME 2001: Formal Methods for Increasing Software Productivity
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01563353
Price: 107.29 EUR
Availability: InStock
Author: Jose N. Oliveira
ISBN: 9783540417910

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

Jose N. Oliveira

Pamela Zave

Sprache

Englisch

Buch Broschur

Libristo-Code: 01563353

Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Februar 2001

This book constitutes the refereed proceedings of the International Symposium of Formal Methods Euro... Vollständige Beschreibung

Libristo-Code: 01563353

263 b

107.29 € inkl. MwSt.

Externes Lager Wir versenden in 5-8 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Cut scene. Un montaggio diverso sull'autolesionismo Rita Latella

Broschur

27.29 €

Under the Stars (Punjabi Gurmukhi Kids Book) Kidkiddos Books

Broschur

17.19 €

Bela Dama - A Empresaria do Ano Cleberson Eduardo Da Costa

Broschur

10.69 €

Guadeloupe COLLECTIFS GALLIMARD LOISIRS

Broschur

15.79 €

Studentenküche veggie - Mehr als 60 einfache vegetarische Rezepte, Infos zu leckerem Fleischersatz und das wichtigste Küchen-Know-How Ann-Cathrine Johnsson

Hardcover

15.00 €

Catalogue Des Livres Chinois, Coreens, Japonais, Etc Tome 1 Bibliotheque Nationale

Broschur

34.29 €

La muchacha de los ojos de oro HONORE DE BALZAC

Broschur

12.29 €

Paroles de La Grece Antique Jacques Lacarriere

Broschur

14.89 €

Fragmentacion del Adn de Espermatozoides Humanos Rebeca Santiso

Broschur

69.79 €

Folgebewertung des Goodwill Tino Fettback

Broschur

74.00 €

Ausweg ins Unwirkliche Clemens Brunn

Broschur

49.90 €

Russische Reise Hermann Bahr

Broschur

22.90 €

Vertragsstrafenklauseln im Arbeitsrecht Manuel Sedlak

Broschur

17.95 €

"Bemerkungen uber eine sonderbare litterarische Erscheinung Carola Katharina Bauer

Broschur

17.95 €

Aushandlung Ohne Dissens? Sarah Hitzler

Broschur

55.29 €

Guida per l'insegnante Telis Marin

Broschur

17.19 €

BLACK CAT -Jamais de jasmin + CD (A1) MARGUERITE DESCOMBES

Broschur

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.

Schauspielerin & Polyglotte

EWA KASP für

Video abspielen

Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

Informationen zum Buch

Vollständiger Name FME 2001: Formal Methods for Increasing Software Productivity

Autor Jose N. Oliveira, Pamela Zave

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 2001

Anzahl der Seiten 634

EAN 9783540417910

ISBN 3540417915

Libristo-Code 01563353

Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Gewicht 1083

Abmessungen 155 x 233 x 35

Kategorie

Wirtschaftswissenschaft, Finanzen, Betriebswirtschaft und Management > Betriebswirtschaft und Management > Wirtschaftsmathematik und -informatik, IT-Management

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Software Engineering

EDV und Informationstechnologie > Informatik > Theoretische Informatik

EDV und Informationstechnologie > Informatik > Rechnerarchitektur und Logik-Entwurf

EDV und Informationstechnologie > Unternehmensanwendungen

EDV und Informationstechnologie > Betriebssysteme

Verschenken Sie dieses Buch noch heute

Es ist ganz einfach

1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert