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 € ACS-Stelle 4.99 € Box Now 3.99 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

FM 2005: Formal Methods

Name: FM 2005: Formal Methods
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01560898
Price: 58.57 EUR
Availability: InStock
Author: John Fitzgerald
ISBN: 9783540278825

International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005, Proceedings

John Fitzgerald

Ian J. Hayes

Andrzej Tarlecki

Sprache

Englisch

Buch Broschur

Libristo-Code: 01560898

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

This book presents the refereed proceedings of the International Symposium of Formal Methods Europe,... Vollständige Beschreibung

Libristo-Code: 01560898

141 b

58.57 €

Externes Lager in kleiner Menge Wir versenden in 11-15 Tagen

Lieferung in Griechenland

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Stop vermoeidheid: Hoe je je leven terugkrijgt Lisa Gibson

Adobe ePub DRM

1.00 €

This book presents the refereed proceedings of the International Symposium of Formal Methods Europe, FM 2005, held in Newcastle, UK, in July 2005. §The 31 revised full papers presented together with three invited contributions and extended abstracts of 6 invited industrial presentations were carefully reviewed and selected from 130 submissions. The papers are organized in topical sections on object orientation; resource analysis and verification; timing and testing; CSP, B, and Circus; security; networks and processes; abstraction, retrenchment, and rewriting; scenarios and modeling languages; and model checking.

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 FM 2005: Formal Methods

Autor John Fitzgerald, Ian J. Hayes, Andrzej Tarlecki

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 2005

Anzahl der Seiten 558

EAN 9783540278825

ISBN 3540278826

Libristo-Code 01560898

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

Gewicht 1770

Abmessungen 155 x 235 x 32

Kategorie

EDV und Informationstechnologie > Informatik > Mensch-Computer-Interaktion > Informationsarchitektur

EDV und Informationstechnologie > Computerhardware > Wartung und Reparaturen, IT

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 > Rechnerarchitektur und Logik-Entwurf

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