Status van bestelling controleren
LIBRISTO
LIBROAMANTO
verplicht
Wachtwoord vergeten
Word lid van een gemeenschap van boekenliefhebbers van over de hele wereld en krijg een heleboel voordelen. Gratis account aanmaken
0
Gratis bezorging met Zásilkovna boven 59.99 €
DPD koerier 5.49 € DHL koeriersdienst 5.49 € GLS koerier 4.99 € DPD-punt 3.99 €
phone Contact phoneHoe winkelen bij ons werkt
Gratis verzending vanaf 59,99 euro.

Austin Protocol Compiler

Taal EngelsEngels
Boek Gebonden (harde band)
Boek Austin Protocol Compiler Mohamed G. (University of Texas at Austin) Gouda
Libristo-code: 07184044
Uitgeverij 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
119.88 €
In extern magazijn in kleine hoeveelheid Wordt binnen 11-15 dagen verzonden

Tot 30 dagen retourrecht

Klanten kochten ook

Tutto in me è amore. Antologia delle lettere 1918-1926 Piero Gobetti / Boek Gebonden (paperback)
common.buy 25.22 €
Kronika rodinného chaosu Jiří May / Boek Gebonden (paperback)
common.buy 10.23 €
berger d'Andorre - El pastor d'Andorra Corinne Toupillier / Boek Gebonden (paperback)
common.buy 11.14 €
Kahden maailman valissa Heli Santavuori / Boek Gebonden (paperback)
common.buy 29.18 €
L'Arte della Magia Frank G. Ripel / Boek Gebonden (paperback)
common.buy 35.76 €
Multi-Regime-Regulierung Britta Meinke / Boek Gebonden (paperback)
common.buy 66.57 €
Analisis para la Mejora del Proceso de Produccion de Lapices de Madera Roman A. Mora Gtz. / Boek Gebonden (paperback)
common.buy 94.75 €
Abhängigkeitserkrankung als missglückter Selbstheilungsversuch Walter Linher / Boek Gebonden (paperback)
common.buy 72.65 €

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.

Actrice & Polyglot
EWA KASP voor
Video afspelen
Ewa Kasp
Libristo heeft de grootste selectie boeken in vreemde talen. Daarom koop ik mijn boeken hier.

Informatie over het boek

Volledige naam Austin Protocol Compiler
Auteur Mohamed G. (University of Texas at Austin) Gouda
Taal Engels
Bindwijze Boek - Gebonden (harde band)
Datum van uitgifte 2004
Aantal pagina's 160
EAN 9780387232270
ISBN 9780387232270
Libristo-code 07184044
Uitgeverij Springer-Verlag New York Inc.
Gewicht 405
Afmetingen 156 x 234 x 11

Categorieën

Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Vertaal- en vertolkingsprogramma‘s
Informatica en informatietechnologie > Informatica: algemene onderwerpen
Informatica en informatietechnologie > Informatica
Geef dit boek vandaag nog cadeau
Dat gaat heel eenvoudig
1 Voeg het boek toe aan je winkelwagentje en selecteer Als cadeau bezorgen 2 Je krijgt van ons per omgaand een voucher 3 Het boek wordt bezorgd op het adres van de ontvanger

Dit vind je misschien ook interessant

Hormonal Carcinogenesis Jonathan J. Li / Boek Gebonden (paperback)
common.buy 119.88 €
What Number is God? Sarah Voss / Boek Gebonden (paperback)
common.buy 39.82 €
Savage Horizons Cj Birch / Boek Gebonden (paperback)
common.buy 15.80 €
Advanced Engine Performance Diagnosis James D. Halderman / Boek Gebonden (paperback)
common.buy 261.16 €
De Principiis Origen of Alexandria / Boek Gebonden (paperback)
common.buy 9.92 €
Cell Culture Methods for In Vitro Toxicology Alan Doyle / Boek Gebonden (paperback)
common.buy 119.88 €
Fluoromethylation Reactions Sujith Chacko / Boek Gebonden (paperback)
common.buy 84.21 €
Positivism, Presupposition and Current Controversies (Theoretical Logic in Sociology) Jeffrey C. Alexander / Boek Gebonden (harde band)
common.buy 209.47 €
Clinical Management of Intestinal Failure Christopher P. Duggan / Boek Gebonden (harde band)
common.buy 266.63 €
Special Issue in Honor of Katherine Nelson Philip David Zelazo / Boek Gebonden (paperback)
common.buy 40.22 €
TOP
Nailbiter Volume 1: There Will Be Blood Joshua Williamson / Boek Gebonden (paperback)
common.buy 9.01 €

Inloggen

Log in op je account. Heb je nog geen Libristo-account? Maak nu een account aan!

 
verplicht
verplicht
Wachtwoord vergeten

Heb je geen account? Profiteer van de voordelen van een Libristo-account!

Met een Libristo-account heb je alles onder controle.

Een Libristo-account aanmaken
Boekadviseur Libroamiko
Hoi, ik ben Libroamiko, kan ik helpen?