Sold Out
Book Categories |
An Overview.- Abstract State Machines for the Classroom.- The Event-B Modelling Method: Concepts and Case Studies.- A Methodological Guide to CafeOBJ Logic.- CASL - The Common Algebraic Specification Language.- Duration Calculus.- The Logic of the RAISE Specification Language.- The Specification Language TLA+.- The Typed Logic of Partial Functions and the Vienna Development Method.- Z and Its Applications.- Reviews.
Login|Complaints|Blog|Games|Digital Media|Souls|Obituary|Contact Us|FAQ
CAN'T FIND WHAT YOU'RE LOOKING FOR? CLICK HERE!!! X
You must be logged in to add to WishlistX
This item is in your Wish ListX
This item is in your CollectionLogics of Specification Languages
X
This Item is in Your InventoryLogics of Specification Languages
X
You must be logged in to review the productsX
X
X
Add Logics of Specification Languages, This book presents comprehensive studies on nine specification languages and their logics of reasoning. The editors and authors are authorities on these specification languages and their application. In a unique feature, the book closes with short comm, Logics of Specification Languages to the inventory that you are selling on WonderClubX
X
Add Logics of Specification Languages, This book presents comprehensive studies on nine specification languages and their logics of reasoning. The editors and authors are authorities on these specification languages and their application. In a unique feature, the book closes with short comm, Logics of Specification Languages to your collection on WonderClub |