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 €

Österreichische Post 5.49 € GLS-Kurier 4.99 € GLS-Kurier 4.99 € DPD-Kurier 3.99 € DPD-Stelle 2.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: 53.79 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

132 b

53.79 € inkl. MwSt.

Externes Lager Wir versenden in 5-8 Tagen

30 Tage für die Rückgabe der Ware

Kunden kauften auch

Bourvil Mareska

Broschur

24.79 €

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

Hardcover

8.90 €

Terra magica Ostsee-Kreuzfahrt Christian Prager

Hardcover

20.59 €

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

Broschur

18.95 €

Correspondance de Champ Libre T. 1 collegium

Broschur

15.39 €

Direkt plus 3B. Podręcznik praca zbiorowa

Broschur

12.09 €

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

Broschur

29.99 €

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

Hardcover

24.69 €

Flussschiffbau Wilhelm Teubert

Broschur

98.00 €

Ontologie und Dialektik Theodor W. Adorno

Broschur

22.00 €

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

Adobe ePub DRM

11.99 €

¿Puedo mirar tu chupete? Guido van Genechten

Hardcover

14.29 €

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

binding.

9.69 €

Blut und Feuer Michael Gratzke

Broschur

31.69 €

Die Filmdeutung als Weg zum Selbst Otto Teischel

Hardcover

63.90 €

Reliéfní pasta 3D IZINK - geranium, růžová, 80 ml

Papier- und Schreibwaren

5.79 €

In Auschwitz Sima Vaisman

Hardcover

18.49 €

Capilla de San Roque y Su Viejo Hospital de San Roque y La Asuncion Nancy Elizabeth Juncos

Broschur

36.49 €

Analyse Morphologique Des Tissus Auto-Construits Spontanes Abdelmalek Arrouf

Broschur

76.29 €

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

Hardcover

41.09 €

Niebla Miguel De Unamuno

Broschur

14.49 €

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

Broschur

15.99 €

Die blinden Flecken der RAF Wolfgang Kraushaar

Hardcover

25.00 €

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

60.09 €

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

Hardcover

1 416.69 €

International Comparisons of Energy Consumption Joy Dunkerley

Broschur

58.29 €

Principles of Protein-Protein Association Harold Erickson

Hardcover

171.89 €

Wiley-Blackwell Companion to Inter-Religious Dialogue Catherine Cornille

Broschur

39.69 €

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

Broschur

19.19 €

Madison Lexy Timms

Broschur

10.69 €

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

Broschur

73.09 €

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

13.29 €