The Leading eBooks Store Online 4,325,200 members ⚫ 1,431,678 ebooks

New to

Learn more

Formal Description Techniques VII

by D. Hogrefe(ed.) ; S. Leue(ed.)
Formal Description Techniques VII by D. Hogrefe
Buy this eBook
US$ 279.00
(If any tax is payable it will be calculated and shown at checkout.)
This book presents the latest research in formal techniques for distributed systems, including material on theory, applications, tools and industrial usage of formal techniques.
Springer US; January 2016
512 pages; ISBN 9780387348780
Read online, or download in secure PDF format
Title: Formal Description Techniques VII
Author: D. Hogrefe; S. Leue
  • News
  • Contents
No entry found