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

Formal Methods: Applications and Technology

Name: Formal Methods: Applications and Technology
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01568175
Price: 45.49 EUR
Availability: InStock
Author: Lubos Brim
ISBN: 9783540709510

11th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2006, and 5th International Workshop on Parallel and Distributed Methods in Verification, PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006, Revised Sel

Sprache

Englisch

Buch Broschur

Libristo-Code: 01568175

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

This book constitutes the thoroughly refereed joint post-proceedings of the two International Worksh... Vollständige Beschreibung

Libristo-Code: 01568175

111 b

45.49 € inkl. MwSt.

Externes Lager Wir versenden in 5-8 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Bourvil Mareska

Broschur

19.39 €

Jaké to tenkrát bylo aneb Co se stalo v roce, kdy jste se narodili 1983

Broschur

2.69 €

Der Einarmige, sein Alligator und die sonnigen Seiten des Lebens Ken Pisani

Adobe ePub DRM

9.69 €

Correspondance de Champ Libre T. 1 collegium

Broschur

11.89 €

Le Sortilège de Stellata Daniela Raimondi

Broschur

20.39 €

Beast Quest (Band 21) - Tarax, Klauen der Finsternis Adam Blade

Hardcover

8.90 €

Zrozeni k chůzi James Earls

Hardcover

6.49 €

Direkt plus 3B. Podręcznik praca zbiorowa

Broschur

9.49 €

Terra magica Ostsee-Kreuzfahrt Christian Prager

Hardcover

19.99 €

Rozdělení Československa 1989-1992 Jan Rychlík

Hardcover

20.69 €

Vergleich der grossen Weltreligionen im Hinblick auf das Projekt "Weltethos von Hans Kung Jenny Enssle

Broschur

18.95 €

Lieder von Jochen Klepper (1903 - 1942) im Stammteil des Evangelischen Gesangbuchs Vitali Pritzkau

Broschur

29.99 €

Flussschiffbau Wilhelm Teubert

Broschur

98.00 €

¿Puedo mirar tu chupete? Guido van Genechten

Hardcover

12.79 €

Ontologie und Dialektik Theodor W. Adorno

Broschur

22.00 €

Kartographie Florian Dünckmann

Broschur

41.00 €

Zápisník s gumičkou A4 210x290 mm africké masky

binding.

7.99 €

Abhandlungen aus der Griechischen Geschichte. Max Duncker

Broschur

59.90 €

Plíseň Siri Pettersenová

Hardcover

11.89 €

Niebla Miguel De Unamuno

Broschur

14.49 €

Unsere Erde - Gymnasium Baden-Württemberg - 9./10. Schuljahr Henriette Dieterle

Hardcover

33.89 €

Dopisy hledajícího probuzení René Daumal

Broschur

8.69 €

Al-Andalus : magia y seducción culinarias Inés Eléxpuru Eeckman

Broschur

12.59 €

Analyse Morphologique Des Tissus Auto-Construits Spontanes Abdelmalek Arrouf

Broschur

63.59 €

This book constitutes the thoroughly refereed joint post-proceedings of the two International Workshops on Formal Methods for Industrial Critical Systems, FMICS 2006, and on Parallel and Distributed Methods in Verification, PDMC 2006, held in Bonn, Germany in August 2006 in the course of the 17th International Conference on Concurrency Theory, CONCUR 2006.

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 Formal Methods: Applications and Technology

Autor Lubos Brim, Boudewijn Haverkort, Martin Leucker, Jaco van de Pol

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 2007

Anzahl der Seiten 366

EAN 9783540709510

ISBN 3540709517

Libristo-Code 01568175

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

Gewicht 575

Abmessungen 155 x 235 x 22

Kategorie

EDV und Informationstechnologie > Informatik > Künstliche Intelligenz > Wissensbasierte Systeme, Expertensysteme

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

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

Das könnte Sie auch interessieren

Enterprise Architecture Martin Op't Land

Broschur

50.59 €

Energy Levels of Nuclei: A = 5 to A = 257 / Energie-Niveaus der Kerne: A = 5 bis A = 257 F. Ajzenberg-Selove

Hardcover

1 149.29 €

God Spoken Wisdom to Heal Our Souls Rick Kent

Broschur

10.89 €

ASP.NET Core 2.2 MVC, Razor Pages, API, JSON Web Tokens & HttpClient: How to Build a Video Course Website Jonas Fagerberg

Broschur

20.09 €

Principles of Protein-Protein Association Harold Erickson

Hardcover

142.79 €

Wiley-Blackwell Companion to Inter-Religious Dialogue Catherine Cornille

Broschur

32.29 €

Modern China Studies: Comtemporary Chinese Visual Culture and Cultural Translation Paul Gladston

Broschur

15.39 €

Madison Lexy Timms

Broschur

10.69 €

Official History of Australia in the War of 1914-1918 C. E. W. BEAN

Broschur

59.79 €

Courts-Martial Amendments to Articles of War. Hearing Before a Special Subcommittee of the Committee on Military Affairs House of Representatives Sixt E H Crowder

Broschur

10.19 €