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

Abstract State Machines, B and Z

Name: Abstract State Machines, B and Z
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01570649
Price: 45.49 EUR
Availability: InStock
Author: Egon Börger
ISBN: 9783540876021

First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings

Sprache

Englisch

Buch Broschur

Libristo-Code: 01570649

Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, September 2008

This book constitutes the refereed proceedings of the First International Conference of Abstract Sta... Vollständige Beschreibung

Libristo-Code: 01570649

111 b

45.49 € inkl. MwSt.

Externes Lager Wir versenden in 5-8 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Jakob und Paula, ein Rabenpaar in unseren Gärten Hans Gerstner

Hardcover

13.99 €

Das Symbol Des Fisches Und Die Fischdenkmaler Der Romischen Katakomben (1888) Hans Achelis

Broschur

18.69 €

Naturwissenschaftliche Forschung in Deutschland in Zusammenhang mit der chilenischen Salpeterwirtschaft Katharina Loeber

Broschur

17.95 €

Le pouvoir s’habille en robe Josée S. Palenfo

Broschur

13.59 €

Le droit en tableaux 2023/2024. 7e éd. Dominique Mélès

Broschur

46.89 €

YOKAI GIGA VOL.3 SATSUKI SATO

Broschur

13.49 €

La Boîte à bonbons KOBI YAMADA

Buch

16.49 €

Der Krieger und die Hexe, 1 Blu-ray + 1 DVD (Limited Mediabook) David Carradine

Blu-ray

29.99 €

Zauberer Von ROM, Buch 5 Karl Gutzkow

Broschur

24.90 €

Fortschritt bei Wärmetauschern Elsayed Zaki

Broschur

49.90 €

Siddur Ner Tamid - Hoshanot Eitz Echad

Hardcover

16.29 €

1947 Chaban à la conquête de la Municipalité Lachaise

Hardcover

7.99 €

MELODIAS AFRO-BRASILEIRAS (6) --- 2 OU 4 GUITARES MACHADO CELSO Buch

binding.

23.49 €

Au coeur du mal Chelsea Cain

Broschur

20.59 €

Swing 85, 2 Audio-CDs + 1 DVD (Limited Edition Birthday Box) Paul Kuhn

Audio CD

30.99 €

Dictionnaîre fran?coîs & angloîs, contenant la significâtion des môts, avéc leurs différens usages, les térmes des sciences, des arts, ét des métiérs; Lewis Chambaud

Broschur

28.29 €

First Love: Pervaya Lyubov' Ivan Sergeyevich Turgenev

Broschur

7.49 €

Eingebettete Systeme Peter Holleczek

Broschur

39.95 €

Prise En Charge Des Victimes d''agressions Sexuelles Sébastien Grignard

Broschur

38.19 €

Death On The Road (Live) Iron Maiden

Audio CD

17.99 €

Anthropogeographie Friedrich Ratzel

Broschur

39.90 €

Archivum Ottomanicum 16 (1998) György Hazai

Broschur

89.00 €

150 Aufsatzübungen 2. bis 4. Klasse Annette Weber

Broschur

9.99 €

This book constitutes the refereed proceedings of the First International Conference of Abstract State Machines, B and Z, ABZ 2008, held in London, UK, in September 2008. The conference simultaneously incorporated the 15th International ASM Workshop, the 17th International Conference of Z Users and the 8th International Conference on the B Method.§The 44 revised full papers presented together with 4 invited contributions were carefully reviewed and selected from numerous submissions. The conference fosters the cross-fertilization of three rigorous methods for the design and analysis of hardware and software systems - both in academia and industry - namely Abstract State Machines, B, and Z. Covering a wide range of research spanning from theoretical and methodological foundations to tool support and practical applications, the contributions are organized in topical sections on abstract state machines, B papers, Z papers, ABZ short papers, and the papers of the Verified Software Repository Network (VSR-net) workshop.

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 Abstract State Machines, B and Z

Autor Egon Börger, Michael Butler, Jonathan P. Bowen, Paul Boca

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 2008

Anzahl der Seiten 384

EAN 9783540876021

ISBN 3540876022

Libristo-Code 01570649

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

Gewicht 611

Abmessungen 155 x 235 x 22

Kategorie

Mathematik und Naturwissenschaften > Mathematik > Mathematische Grundlagen > Mathematik: Logik

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Algorithmen und Datenstrukturen

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

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Datenbankprogrammierung

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

EDV und Informationstechnologie > Datenbanken

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