2004
Paperback (21 Sep 2004)
Save $1.93
Includes delivery to the United States
10+ copies available online - Usually dispatched within 7 days
Among the topics addressed are state-based specification, distributed Java objects, UML and SDL, algorithm verification, communicating automata, design recovery, formal protocol testing, testing and model checking, distributed real-time systems, formal composition, distributed testing, automata for ACTL, symbolic state space.
| ISBN: | 9783540232520 |
| Publisher: | Springer Berlin Heidelberg |
| Imprint: | Springer |
| Pub date: | 21 Sep 2004 |
| Edition: | 2004 |
| DEWEY: | 004.0151 |
| DEWEY edition: | 22 |
| Language: | English |
| Number of pages: | 375 |
| Weight: | 1210g |
| Height: | 234mm |
| Width: | 156mm |
| Spine width: | 20mm |
$5.28off
Cloud as a Service : Understand...
Paperback
Published 23 Dec 2016
Save $5.28
$17.76off
Complex Enterprise Architecture
Paperback
Published 08 Feb 2019
Save $17.76
$41.76off
Salesforce Consultant's Guide
Paperback
Published 28 Apr 2022
Save $41.76
$25.53off
Effective Software Development ...
Paperback
Published 27 May 2023
Save $25.53
Computational Science and Its A...
Paperback
Published 25 Jul 2024
$18.87off
Visual Data Insights Using SAS ...
Paperback
Published 04 Jan 2023
Save $18.87
$18.97off
Practical Smart Device Design a...
Paperback
Published 01 Sep 2020
Save $18.97
$15.56off
Boozang from the Trenches
Paperback
Published 22 Dec 2022
Save $15.56
$18.86off
Advances in Pervasive Computing...
Paperback
Published 04 Dec 2014
Save $18.86