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.

Formal Description Techniques and Protocol Specification, Testing and Verification

FORTE X / PSTV XVII '97

Language EnglishEnglish
Book Paperback
Book Formal Description Techniques and Protocol Specification, Testing and Verification Atsushi Togashi
Libristo code: 05258416
Publishers Springer-Verlag New York Inc., January 2013
FORTE/PSTV '97 addresses Formal Description Techniques (FDTs) applicable to Distributed Systems and... Full description
? points 548 b
227.00
Low in stock at our supplier Shipping in 11-15 days

Up to 30 days for returns


Customers also purchased


FORTE/PSTV '97 addresses Formal Description Techniques (FDTs) applicable to Distributed Systems and Communication Protocols (such as Estelle, LOTOS, SDL, ASN.1, TTCN, Z, Automata, Process Algebra, Logic). The conference is a forum for presentation of the state-of-the-art in theory, application, tools and industrialization of FDTs, and provides an excellent orientation for newcomers.

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 Formal Description Techniques and Protocol Specification, Testing and Verification
Language English
Binding Book - Paperback
Date of issue 2013
Number of pages 550
EAN 9781475752601
ISBN 1475752601
Libristo code 05258416
Weight 860
Dimensions 155 x 235 x 31
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


Hardware Component Modeling Jean-Michel Bergé / Book Paperback
common.buy 114.71
Systems Biology of Parkinson's Disease Mathieu Cloutier / Book Hardback
common.buy 175.93
Learn to Read Russian in 5 Days Sergei Orlov / Book Paperback
common.buy 12.76
Humanitarian Intervention and the Responsibility to Protect Cristina Gabriela Badescu / Book Paperback
common.buy 77.42
Trials of Christians in the Middle Ages Edmund Albrecht / Book Paperback
common.buy 16.31
2008 The Year in Darts Paul Seigel / Book Hardback
common.buy 25.12
Nuremberg and Vietnam Telford Taylor / Book Hardback
common.buy 43.97
Psychology and Gender Dysphoria Jemma Tosh / Book Hardback
common.buy 232.07
Flight School Lita Judge / Book Hardback
common.buy 15.09
Inside China's Legal System Chang Wang / Book Hardback
common.buy 119.48
Amazing Machines: First Numbers Tony Mitton / Book Board book
common.buy 8.91
Rocks and Minerals Kathleen Weidner Zoehfeld / Book Paperback
common.buy 10.73
Sanctifying Interpretation Chris E. W. Green / Book Paperback
common.buy 18.43
Coming soon
Demon Days MOMOKO PEACH / Book Paperback
common.buy 20.26
Daily Might Simon Peterson / Audiobook MP3
common.buy 4.04
Designing Early Literacy Programs Donald J. Richgels / Book Paperback
common.buy 45.09
Conduits, Culverts, and Pipes US Army Corps of Engineers / Book Paperback
common.buy 48.74
Violence and Social Orders Douglass C North / Book Hardback
common.buy 120.29
Preaching in Judaism and Christianity Alexander Deeg / Book Hardback
common.buy 167.51
Standard English and the Politics of Language Tony Crowley / Book Hardback
common.buy 114.71

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?