Jump to Main Content
News
we:kb News
Search
All Components
Packages
Platforms
Providers
Titles
Vendors
Curatory Groups
Sources
Login
Identifier: 978-3-662-43651-6
Identifier Namespace
isbn
Identifier
978-3-662-43651-6
Identified Components with same Identifier:
Title
Package
Namespace
Abstract State Machines, Alloy, B, TLA, VDM, and Z
(Current)
Springer Nature - Springer Computer Science eBooks 2014 English International
isbn
Abstract State Machines, Alloy, B, TLA, VDM, and Z
(Current)
Springer Nature - Springer Lecture Notes in Computer Science eBooks
isbn
Edit (Login required)
Date Created
2020-01-03 09:43:50
Last Updated
2020-01-03 09:43:50
UUID
1125d937-4969-4631-a784-911b8364c54e
Loading