Jump to Main Content
News
we:kb News
Search
All Components
Packages
Platforms
Providers
Titles
Vendors
Curatory Groups
Sources
Login
Identifier: 978-3-540-71940-3
Identifier Namespace
isbn
Identifier
978-3-540-71940-3
Identified Components with same Identifier:
Title
Package
Namespace
All About Maude - A High-Performance Logical Framework
(Current)
Springer Nature - Springer Computer Science eBooks 2007 English International
isbn
All About Maude - A High-Performance Logical Framework
(Current)
Springer Nature - Springer Lecture Notes in Computer Science eBooks
isbn
Edit (Login required)
Date Created
2020-01-03 07:32:10
Last Updated
2020-01-03 07:32:10
UUID
9d50da9a-385e-41c8-bb61-e1f88bb0145b
Loading