LIBRISTO
LIBROAMANTO
obligatorisch
Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen
0
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

Sprache EnglischEnglisch
Buch Hardcover
Buch Austin Protocol Compiler Mohamed G. (University of Texas at Austin) Gouda
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...
? points 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


Top
Soul Sealer's School Life 3 Sarah Ozolnieks / Buch Broschur
common.buy 18.00
Kronika rodinného chaosu Jiří May / Buch Broschur
common.buy 10.59
berger d'Andorre - El pastor d'Andorra Corinne Toupillier / Buch Broschur
common.buy 5.89
Kahden maailman valissa Heli Santavuori / Buch Broschur
common.buy 18.69
L'Arte della Magia Frank G. Ripel / Buch Broschur
common.buy 36.89
Multi-Regime-Regulierung Britta Meinke / Buch Broschur
common.buy 55.29

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
Ewa Kasp
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
Sprache Englisch
Einband Buch - Hardcover
Datum der Veröffentlichung 2004
Anzahl der Seiten 160
EAN 9780387232270
ISBN 9780387232270
Libristo-Code 07184044
Gewicht 405
Abmessungen 156 x 234 x 11
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


Hormonal Carcinogenesis Jonathan J. Li / Buch Broschur
common.buy 107.29
What Number is God? Sarah Voss / Buch Broschur
common.buy 41.09
Savage Horizons Cj Birch / Buch Broschur
common.buy 16.49
Advanced Engine Performance Diagnosis James D. Halderman / Buch Broschur
common.buy 200.29
De Principiis Origen of Alexandria / Buch Broschur
common.buy 10.39
Fluoromethylation Reactions Sujith Chacko / Buch Broschur
common.buy 83.09
Clinical Management of Intestinal Failure Christopher P. Duggan / Buch Hardcover
common.buy 274.79
Special Issue in Honor of Katherine Nelson Philip David Zelazo / Buch Broschur
common.buy 41.59
Top
Nailbiter Volume 1: There Will Be Blood Joshua Williamson / Buch Broschur
common.buy 9.49

Anmeldung

Melden Sie sich bei Ihrem Konto an. Sie haben noch kein Libristo-Konto? Erstellen Sie es jetzt!

 
obligatorisch
obligatorisch

Sie haben kein Konto? Nutzen Sie die Vorteile eines Libristo-Kontos!

Mit einem Libristo-Konto haben Sie alles unter Kontrolle.

Erstellen Sie ein Libristo-Konto
Buchberater Libroamiko
Hallo, ich bin Libroamiko, kann ich helfen?