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

Formal Methods: Applications and Technology

Name: Formal Methods: Applications and Technology
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01568175
Price: 51.68 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

125 b

51.68 €

Externes Lager Wir versenden in 5-8 Tagen

Lieferung in Griechenland

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Bourvil Mareska

Broschur

24.07 €

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

Adobe ePub DRM

11.52 €

Correspondance de Champ Libre T. 1 collegium

Broschur

14.86 €

Le Sortilège de Stellata Daniela Raimondi

Broschur

25.28 €

Zrozeni k chůzi James Earls

Hardcover

7.58 €

Direkt plus 3B. Podręcznik praca zbiorowa

Broschur

11.62 €

Terra magica Ostsee-Kreuzfahrt Christian Prager

Hardcover

19.72 €

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

Hardcover

23.56 €

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

Broschur

17.09 €

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

Broschur

26.90 €

Die Filmdeutung als Weg zum Selbst Otto Teischel

Hardcover

56.94 €

¿Puedo mirar tu chupete? Guido van Genechten

Hardcover

15.67 €

Ontologie und Dialektik Theodor W. Adorno

Broschur

22.85 €

Kartographie Florian Dünckmann

Broschur

36.61 €

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

binding.

9.30 €

Abhandlungen aus der Griechischen Geschichte. Max Duncker

Broschur

47.13 €

Die blinden Flecken der RAF Wolfgang Kraushaar

Hardcover

21.13 €

Niebla Miguel De Unamuno

Broschur

14.66 €

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

Hardcover

39.85 €

Plíseň Siri Pettersenová

Hardcover

12.84 €

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

Broschur

15.47 €

Analyse Morphologique Des Tissus Auto-Construits Spontanes Abdelmalek Arrouf

Broschur

72.92 €

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

Hardcover

8.18 €

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

Broschur

34.89 €

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

57.55 €

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

Hardcover

1 365.51 €

God Spoken Wisdom to Heal Our Souls Rick Kent

Broschur

13.75 €

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

Broschur

20.32 €

Principles of Protein-Protein Association Harold Erickson

Hardcover

173.88 €

Wiley-Blackwell Companion to Inter-Religious Dialogue Catherine Cornille

Broschur

40.15 €

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

Broschur

19.41 €

Madison Lexy Timms

Broschur

10.81 €

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

Broschur

73.94 €

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.44 €