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

Kostenloser Versand mit Zásilkovna ab 69.99 €

DHL-Kurier 9.99 € Elta-Stelle 3.99 € Elta 4.49 € ACS 4.99 € Box Now 3.99 € ACS-Stelle 3.99 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

FME 2002: Formal Methods - Getting IT Right

Name: FME 2002: Formal Methods - Getting IT Right
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01564470
Price: 102.82 EUR
Availability: InStock
Author: Lars-Henrik Eriksson
ISBN: 9783540439288

International Symposium of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002 Proceedings

Lars-Henrik Eriksson

Peter A. Lindsay

Sprache

Englisch

Buch Broschur

Libristo-Code: 01564470

Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Juli 2002

This book constitutes the refereed proceedings of the international symposium Formal Methods Europe,... Vollständige Beschreibung

Libristo-Code: 01564470

249 b

102.82 €

Externes Lager Wir versenden in 5-8 Tagen

Lieferung in Griechenland

Bis zu 30 Tage Rückgaberecht

This book constitutes the refereed proceedings of the international symposium Formal Methods Europe, FME 2002, held in Copenhagen, Denmark, in July 2002.The 31 revised full papers presented together with three invited contributions were carefully reviewed and selected from 95 submissions. All current aspects of formal methods are addressed, from foundational and methodological issues to advanced application in various fields.

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 2002: Formal Methods - Getting IT Right

Autor Lars-Henrik Eriksson, Peter A. Lindsay

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 2002

Anzahl der Seiten 632

EAN 9783540439288

ISBN 3540439285

Libristo-Code 01564470

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

Gewicht 1960

Abmessungen 155 x 235 x 35

Kategorie

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Compiler und Übersetzer

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Programmier- und Skriptsprachen, allgemein

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Software Engineering

EDV und Informationstechnologie > Informatik > Theoretische Informatik

EDV und Informationstechnologie > Informatik > Systemanalyse und -design

EDV und Informationstechnologie > Informatik > Rechnerarchitektur und Logik-Entwurf

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