Jump to Main Content
News
we:kb News
Search
All Components
Packages
Platforms
Providers
Titles
Vendors
Curatory Groups
Sources
Login
Identifier: 978-3-540-71999-1
Identifier Namespace
eisbn
Identifier
978-3-540-71999-1
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
eisbn
All About Maude - A High-Performance Logical Framework
(Current)
Springer Nature - Springer Lecture Notes in Computer Science eBooks
eisbn
Edit (Login required)
Date Created
2020-01-03 07:32:10
Last Updated
2020-01-03 07:32:10
UUID
7d530f3c-a889-48b7-aa07-f675d6462f82
Loading