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
Austrian Post 5.49 DPD courier 3.99 DPD point 2.99

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 573 b
234.09 VAT included
Low in stock at our supplier Shipping in 11-15 days
Austria Delivery to Austria

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 118.29
Systems Biology of Parkinson's Disease Mathieu Cloutier / Book Hardback
common.buy 181.49
Learn to Read Russian in 5 Days Sergei Orlov / Book Paperback
common.buy 13.19
Humanitarian Intervention and the Responsibility to Protect Cristina Gabriela Badescu / Book Paperback
common.buy 79.79
Trials of Christians in the Middle Ages Edmund Albrecht / Book Paperback
common.buy 16.79
2008 The Year in Darts Paul Seigel / Book Hardback
common.buy 25.99
Nuremberg and Vietnam Telford Taylor / Book Hardback
common.buy 45.59
Psychology and Gender Dysphoria Jemma Tosh / Book Hardback
common.buy 238.99
Flight School Lita Judge / Book Hardback
common.buy 15.79
Inside China's Legal System Chang Wang / Book Hardback
common.buy 124.49
Amazing Machines: First Numbers Tony Mitton / Book Board book
common.buy 9.39
Rocks and Minerals Kathleen Weidner Zoehfeld / Book Paperback
common.buy 11.19
Sanctifying Interpretation Chris E. W. Green / Book Paperback
common.buy 19.09
Coming soon
Demon Days MOMOKO PEACH / Book Paperback
common.buy 21.29
Daily Might Simon Peterson / Audiobook MP3
common.buy 4.19
Designing Early Literacy Programs Donald J. Richgels / Book Paperback
common.buy 46.69
Conduits, Culverts, and Pipes US Army Corps of Engineers / Book Paperback
common.buy 50.49
Violence and Social Orders Douglass C North / Book Hardback
common.buy 124.39
Preaching in Judaism and Christianity Alexander Deeg / Book Hardback
common.buy 173.19
Standard English and the Politics of Language Tony Crowley / Book Hardback
common.buy 118.29

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?