(Išleidimo metai: 10-Jun-2011, Hardback, Leidėjas: ISTE Ltd and John Wiley & Sons Inc, ISBN-13: 9781848213142)
Writing for graduate students and working engineers who are adept at verification, French contributors set out the main concepts and formal methods used for modeling and well structuring distributed systems, and for expressing their logical and timed...Daugiau...
