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

Austin Protocol Compiler

Name: Austin Protocol Compiler
Brand: Springer-Verlag New York Inc.
SKU: 07184044
Price: 118.29 EUR
Availability: InStock
Author: Mohamed G. (University of Texas at Austin) Gouda
ISBN: 9780387232270

Mohamed G. (University of Texas at Austin) Gouda

Sprache

Englisch

Buch Hardcover

Libristo-Code: 07184044

Verlag Springer-Verlag New York Inc., November 2004

The TAP notation uses two types of semantics: an abstract semantics for protocol verifiers and a con...

Libristo-Code: 07184044

290 b

118.29 € inkl. MwSt.

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

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Soul Sealer's School Life 3 Sarah Ozolnieks

Broschur

18.00 €

Tutto in me è amore. Antologia delle lettere 1918-1926 Piero Gobetti

Broschur

26.29 €

Kronika rodinného chaosu Jiří May

Broschur

10.59 €

berger d'Andorre - El pastor d'Andorra Corinne Toupillier

Broschur

5.89 €

Kahden maailman valissa Heli Santavuori

Broschur

18.69 €

L'Arte della Magia Frank G. Ripel

Broschur

36.89 €

Multi-Regime-Regulierung Britta Meinke

Broschur

55.29 €

Analisis para la Mejora del Proceso de Produccion de Lapices de Madera Roman A. Mora Gtz.

Broschur

82.89 €

Abhängigkeitserkrankung als missglückter Selbstheilungsversuch Walter Linher

Broschur

71.69 €

The TAP notation uses two types of semantics: an abstract semantics for protocol verifiers and a concrete semantics for protocol implementers. This book illustrates that two types of semantics of TAP are equivalent.

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 Austin Protocol Compiler

Autor Mohamed G. (University of Texas at Austin) Gouda

Sprache

Englisch

Einband Buch - Hardcover

Datum der Veröffentlichung 2004

Anzahl der Seiten 160

EAN 9780387232270

ISBN 9780387232270

Libristo-Code 07184044

Verlag Springer-Verlag New York Inc.

Gewicht 405

Abmessungen 156 x 234 x 11

Kategorie

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

EDV und Informationstechnologie > Informationstechnik (IT), allgemeine Themen

EDV und Informationstechnologie > Informatik

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