登入選單
Google圖書搜尋
Refinement Calculus
作者
Ralph-Johan Back / Joakim Wright
出版Springer, 1998-04-13
ISBN
0387984178 / 9780387984179
主題
Computers
Programs on Product Spaces
作者
Ralph-Johan Back / Joakim von Wright
出版1997
ISBN
9521200960 / 9789521200960
Combining Angels, Demons and Miracles in Program S...
作者
Ralph-Johan Back / Joakim von Wright
出版1989
ISBN
9516496261 / 9789516496262
Theorem Proving in Higher Order Logics
作者
Joakim von Wright / Jim Grundy / John Harrison
出版Springer, 1996-08-07
ISBN
3540615873 / 9783540615873
主題
Mathematics
The Lattice of Data Refinement
作者
Joakim von Wright
出版1992
ISBN
9516500269 / 9789516500266
Program Inversion in the Refinement Calculus
作者
Joakim von Wright
出版1990
ISBN
9516497101 / 9789516497108
Command Lattices, Variable Environments and Data R...
作者
Ralph-Johan Back / Joakim von Wright
出版1990
ISBN
9516497098 / 9789516497092
Data Refinement and the Simulation Method
作者
Joakim von Wright
出版1992
ISBN
9516501214 / 9789516501218
Statement Inversion and Strongest Postcondition
作者
Ralph-Johan Back / Joakim von Wright
出版1990
ISBN
951649708X / 9789516497085
A Mechanization of a Command Lattice with Recursio...
作者
Joakim von Wright
出版1990
ISBN
951649711X / 9789516497115
Formal Semantics of Inheritance and Object Substit...
作者
Ralph-Johan Back / Leonid Mikhajlov / Joakim von Wright
出版2000
ISBN
9521206373 / 9789521206375
Enforcing Behavior with Contracts
作者
Ralph-Johan Back / Joakim von Wright
出版2000
ISBN
9521207450 / 9789521207457
Class Refinement as Semantics of Correct Object Su...
作者
Ralph-Johan Back / Anna Mikhajlova / Joakim von Wright
出版2000
ISBN
9521206209 / 9789521206207
Theorem Prover Support for Precondition and Correc...
作者
Orieta Celiku / Joakim von Wright
出版2002
ISBN
9521209720 / 9789521209727
From Kleene Algebra to Refinement Algebra
作者
Joakim von Wright
出版2002
ISBN
9521209739 / 9789521209734
Trace Refinement of Action Systems
作者
Ralph-Johan Back / Joakim von Wright
出版1994
ISBN
9516505376 / 9789516505377
Proving Isomorphism of First-order Logic Proof Sys...
作者
Anna Mikhajlova / Joakim von Wright
出版1998
ISBN
9521201835 / 9789521201837
A Tool for Data Refinement
作者
Rimvydas Rukšėnas / Joakim von Wright
出版1997
ISBN
9521200316 / 9789521200311
What's in a Specification?
作者
Linas Laibinis / Joakim von Wright
出版1998
ISBN
9521201991 / 9789521201998
Duality in Specification Languages
作者
Ralph-Johan Back / Joakim von Wright
出版1989
ISBN
9516495923 / 9789516495920
Stepwise Derivation of a Parallel Matrix Multiplic...
作者
Joakim von Wright
出版1989
ISBN
9516496229 / 9789516496224
Refining Reactive Systems in HOL Using Action Syst...
作者
T. Långbacka / Joakim von Wright
出版1997
ISBN
9516509827 / 9789516509825
Verification and Refinement of Action Contracts
作者
Ralph-Johan Back / Joakim von Wright
出版2001
ISBN
9521207469 / 9789521207464
Class Refinement as Semantics of Correct Subclassi...
作者
Ralph-Johan Back / Anna Mikhajlova / Joakim von Wright
出版1998
ISBN
9521201142 / 9789521201141
A Metatool for Exploring Program Algebras
作者
Joakim von Wright
出版1999
ISBN
9521203994 / 9789521203992
Contracts, Games and Refinement
作者
Ralph-Johan Back / Joakim von Wright
出版1997
ISBN
9521200901 / 9789521200908
TkWinHOL
作者
T. Långbacka / R. Ruksenas / Joakim von Wright
出版1995
ISBN
9516505813 / 9789516505810
Field Tests of the Structured Derivations Method
作者
Ralph-Johan Back / Mats Sjöberg / Joakim von Wright
出版2002
ISBN
9521210877 / 9789521210877
Context Handling in the Refinement Calculus Framew...
作者
Linas Laibinis / Joakim von Wright
出版1997
ISBN
9521200294 / 9789521200298
Refinement Calculus
作者
Ralph-Johan Back / Joakim von Wright
出版1989
ISBN
9516496512 / 9789516496514