2005
Paperback (09 Aug 2005)
Save $3.51
Includes delivery to the United States
10+ copies available online - Usually dispatched within 7 days
Constitutes the refereed proceedings of the 12th International SPIN workshop on Model Checking Software, SPIN 2005, held in San Francisco, USA in August 2005. The papers are organized in topical sections on state representation and abstraction, dealing with concurrency, dealing with complex data, checking temporal properties, and more.
| ISBN: | 9783540281955 |
| Publisher: | Springer Berlin Heidelberg |
| Imprint: | Springer |
| Pub date: | 09 Aug 2005 |
| Edition: | 2005 |
| Language: | English |
| Number of pages: | 292 |
| Weight: | 960g |
| Height: | 234mm |
| Width: | 156mm |
| Spine width: | 16mm |
$2.72off
Software Development Pearls
Paperback
Published 06 Oct 2021
Save $2.72
$7.39off
The Pragmatic Programmer
Hardback
Published 02 Dec 2019
Save $7.39
Self-Sovereign Identity
Paperback
Published 07 Jul 2021
$14.79off
The Staff Engineer's Path
Paperback
Published 30 Sep 2022
Save $14.79
$8.29off
Software Engineering
Paperback
Published 27 Aug 2015
Save $8.29
$50.45off
Usability Engineering
Paperback
Published 11 Nov 1994
Save $50.45
$36.67off
Cloud Native Spring in Action
Paperback
Published 13 Dec 2022
Save $36.67
$19.19off
Policy as Code
Paperback
Published 12 Jul 2024
Save $19.19
$9.46off
The Engineering Leader
Paperback
Published 30 Apr 2024
Save $9.46
Sustainability in Digital Trans...
Paperback
Published 29 Aug 2024