| Publisher | Springer |
| ISBN 10 | 3540733698 |
| Book Format | Paperback |
| Language | English |
| Number of Pages | 285 |
| ISBN 13 | 9783540733690 |
| Book Description | Model Checking Software: 14th International Spin Workshop, Berlin, Germany, July 1-3, 2007, Proceedings (2007) |
| Book Subtitle | 14th International Spin Workshop, Berlin, Germany, July 1-3, 2007, Proceedings |
| Publication Date | 2007-06-21 |
We're Always Here To Help
Reach out to us through any of these support channels
Electronics
MobilesTabletsLaptopsHome AppliancesCamera, Photo & VideoTelevisionsHeadphonesVideo GamesFashion
Women's FashionMen's FashionGirls' FashionBoys' FashionWatchesJewelleryWomen's HandbagsMen's EyewearHome and Kitchen
BathHome DecorKitchen & DiningTools & Home ImprovementBeddingFurniturePatio, Lawn & GardenPet SuppliesBeauty
FragranceMake-UpHaircareSkincareBath & BodyElectronic Beauty ToolsMen's GroomingHealth Care EssentialsBaby & Toys
DiaperingBaby TransportNursing & FeedingBaby & Kids FashionBaby & Toddler ToysTricycles & ScootersRemote Controlled ToysOutdoor PlayDiscover Now
Back to SchoolShop On The Go
![/electronics-and-mobiles/mobiles-and-accessories/mobiles-20905/smartphones/honor/?sort[by]=best_rating&sort[dir]=desc&limit=50&page=1&isCarouselView=false](https://f.nooncdn.com/mpcms/EN0001/assets/a9898c5e-40b3-4ff3-bb63-e18b2d0ea25b.png)
![/fashion-men/seventy_five/?sort[by]=popularity&sort[dir]=desc&limit=50](https://f.nooncdn.com/mpcms/EN0001/assets/c0e101f8-7d10-4999-9d58-ac7b000d5196.png)
![/fashion-men/skechers/?sort[by]=popularity&sort[dir]=desc&limit=50](https://f.nooncdn.com/mpcms/EN0001/assets/96ea86e1-d2c4-4d4c-a817-8904d5578da3.png)
![/fashion-women/mango/?sort[by]=popularity&sort[dir]=desc&limit=50](https://f.nooncdn.com/mpcms/EN0001/assets/68919f27-e531-455d-97e7-7113d58acdec.png)
![/fashion-women/guess/?sort[by]=popularity&sort[dir]=desc&limit=50](https://f.nooncdn.com/mpcms/EN0001/assets/ee58c12f-61ac-4625-8333-db7da9628f1b.png)
![/fashion-women/ella/?sort[by]=popularity&sort[dir]=desc&limit=50](https://f.nooncdn.com/mpcms/EN0001/assets/e4560575-8c02-41ac-8963-0ad378cdb528.png)
![/fashion-women/skechers/?sort[by]=popularity&sort[dir]=desc&limit=50](https://f.nooncdn.com/mpcms/EN0001/assets/1d91e80b-13a3-47c6-907c-f4a044e760f9.png)
![/fashion/view-all-kids-clothing/nike/?sort[by]=popularity&sort[dir]=desc&limit=50](https://f.nooncdn.com/mpcms/EN0001/assets/8ac76006-7f1f-4d47-84fd-c97418acd76b.png)
![/fashion/view-all-kids-clothing/disney/disney_minnie_mouse/disney_frozen/disney_princess/disney_mickey_mouse/disney_baby/?sort[by]=popularity&sort[dir]=desc&limit=50](https://f.nooncdn.com/mpcms/EN0001/assets/d55bc2fa-326f-45cd-be08-37494c133676.png)
![/fashion/view-all-kids-clothing/new_balance/?sort[by]=popularity&sort[dir]=desc&limit=50](https://f.nooncdn.com/mpcms/EN0001/assets/cca1a6d4-7270-46e2-931b-d9302bd9c7bf.png)
![/music-movies-and-tv-shows/musical-instruments-24670/pianos-keyboards-synthesizers/chloris/?sort[by]=popularity&sort[dir]=desc&limit=50&page=1&isCarouselView=false](https://f.nooncdn.com/mpcms/EN0001/assets/b0d7b27d-6a72-4dbe-9751-d4d425276942.png)
![/music-movies-and-tv-shows/musical-instruments-24670/pianos-keyboards-synthesizers/roland/?sort[by]=popularity&sort[dir]=desc&limit=50&page=1&isCarouselView=false](https://f.nooncdn.com/mpcms/EN0001/assets/fb9c9dd2-cff6-4bb0-b192-57dd0fe7093e.png)
![/music-movies-and-tv-shows/musical-instruments-24670/pianos-keyboards-synthesizers/donner/?sort[by]=popularity&sort[dir]=desc&limit=50&page=1&isCarouselView=false](https://f.nooncdn.com/mpcms/EN0001/assets/48927561-7621-42f3-89ba-bd69376cf0c4.png)
![/music-movies-and-tv-shows/musical-instruments-24670/pianos-keyboards-synthesizers/korg/?sort[by]=popularity&sort[dir]=desc&limit=50&page=1&isCarouselView=false](https://f.nooncdn.com/mpcms/EN0001/assets/4a17bd6b-fd8c-4ac7-9e08-ec0a209a5034.png)
