LIBRISTO
LIBROAMANTO
mandatory
Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free
0
Free delivery for purchases over 69.99 €
DPD courier 5.99 Bpost point 7.99 Bpost 7.49 DPD point 3.49 GLS courier 4.99

Free delivery for orders over 69.99 euro.
Language EnglishEnglish
Book Hardback
Book Austin Protocol Compiler Mohamed G. (University of Texas at Austin) Gouda
Libristo code: 07184044
Publishers 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 277 b
114.36
Low in stock at our supplier Shipping in 11-15 days

Up to 30 days for returns


Customers also purchased


Top
Soul Sealer's School Life 3 Sarah Ozolnieks / Book Paperback
common.buy 16.26
Kronika rodinného chaosu Jiří May / Book Paperback
common.buy 10.19
berger d'Andorre - El pastor d'Andorra Corinne Toupillier / Book Paperback
common.buy 5.65
Kahden maailman valissa Heli Santavuori / Book Paperback
common.buy 17.87
L'Arte della Magia Frank G. Ripel / Book Paperback
common.buy 35.65
Multi-Regime-Regulierung Britta Meinke / Book Paperback
common.buy 53.03

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.

Actress & Polyglot
EWA KASP for
Play video
Ewa Kasp
Libristo has the largest selection of foreign-language books. That’s why I buy my books there.

About the book

Full name Austin Protocol Compiler
Language English
Binding Book - Hardback
Date of issue 2004
Number of pages 160
EAN 9780387232270
ISBN 9780387232270
Libristo code 07184044
Weight 405
Dimensions 156 x 234 x 11
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's address

You might also be interested in


Hormonal Carcinogenesis Jonathan J. Li / Book Paperback
common.buy 102.84
What Number is God? Sarah Voss / Book Paperback
common.buy 39.70
Savage Horizons Cj Birch / Book Paperback
common.buy 15.75
Advanced Engine Performance Diagnosis James D. Halderman / Book Paperback
common.buy 191.24
De Principiis Origen of Alexandria / Book Paperback
common.buy 9.89
Cell Culture Methods for In Vitro Toxicology Alan Doyle / Book Paperback
common.buy 102.84
Fluoromethylation Reactions Sujith Chacko / Book Paperback
common.buy 79.81
Clinical Management of Intestinal Failure Christopher P. Duggan / Book Hardback
common.buy 265.81
Special Issue in Honor of Katherine Nelson Philip David Zelazo / Book Paperback
common.buy 40.10
Top
Nailbiter Volume 1: There Will Be Blood Joshua Williamson / Book Paperback
common.buy 8.98

Login

Log in to your account. Don't have a Libristo account? Create one now!

 
mandatory
mandatory

Don’t have an account? Discover the benefits of having a Libristo account!

With a Libristo account, you'll have everything under control.

Create a Libristo account
Book advisor Libroamiko
Hi, I'm Libroamiko, can I help?