| Select number of records to
display per page:
|
Sort by
|
|
1.
|
|
|
Computer-aided Reasoning(Hardback)
An Approach
Pt. 1
Kluwer Academic Publishers
Published:
01/01/2000
By modeling computing systems mathematically, we obtain models that we can prove behave correctly. This book presents a practical functional programming language closely related to Common Lisp which...
|
|
|
2.
|
|
|
3.
|
|
|
Computer-Aided Reasoning(Hardback)
ACL2 Case Studies
Springer
Published:
30/06/2000
Illustrates how the computer-aided reasoning system ACL2 can be used in productive and innovative ways to design, build, and maintain hardware and software systems. This title includes technical pap...
|
|
|
4.
|
|
|
Computer-Aided Reasoning(Book)
ACL2 Case Studies
Pts. 1 & 2
Kluwer Academic Publishers
Published:
30/06/2000
Illustrates how the computer-aided reasoning system ACL2 can be used in productive and innovative ways to design, build, and maintain hardware and software systems. This title includes technical pap...
|
|
|
5.
|
|
|
The Object-Z Specification Language(Hardback)
Springer
Published:
01/12/1999
Offers a description of Object-Z including discussions of semantic issues, definitions of various language constructs, type rules and other rules of usage, and specification guidelines. This book en...
|
|
|
6.
|
|
|
7.
|
|
|
8.
|
|
|
9.
|
|
|
The Object-Z Specification Language(Paperback)
Springer-Verlag New York Inc.
Published:
02/11/2012
The Object-Z Specification Language presents a comprehensive description of Object-Z including discussions of semantic issues, definitions of all language constructs, type rules and other rules of...
|
|
|
Select All |
|
|
|