登入選單
Google圖書搜尋
Towards an Adequate Notion of Observation
作者
Gilles Bernot / Michel Bidoit / Teodor Knapik
出版1992
ISBN
OCLC:837596855
CASL User Manual
作者
Michel Bidoit / Peter D. Mosses
出版Springer Science & Business Media, 2004-01-29
ISBN
9783540207665 / 354020766X
主題
Computers
TAPSOFT'97: Theory and Practice of Software Develo...
作者
Michel Bidoit / Max Dauchet
出版Springer Science & Business Media, 1997-04-02
ISBN
3540627812 / 9783540627814
主題
Computers
Algebraic Specification of Exception Handling and ...
作者
Michel Bidoit
出版1983
ISBN
OCLC:26882042
Automatic Programming Techniques Applied to Softwa...
作者
Michel Bidoit
出版1986
ISBN
OCLC:18731537
主題
Computer-aided design
Algebraic System Specification and Development
作者
Bidoit
出版2014-01-15
ISBN
3662170663 / 9783662170663
Bahavioural Theories and the Proof of Behavioural ...
作者
Michel Bidoit / Rolf Hennicker
出版1995
ISBN
OCLC:897843974
Proving Behavioural Theorems with Standard First-o...
作者
Michel Bidoit / Rolf Hennicker
出版1994
ISBN
OCLC:897863727
Algebraic Semantics of Exception Handling
作者
Gilles Bernot / Michel Bidoit
出版1986
ISBN
OCLC:18551480
主題
Algebra, Abstract
Development of Modular Specifications by Stepwise ...
作者
Michel Bidoit
出版1991
ISBN
OCLC:837596572
Proving the Correctness of Algebraically Specified...
作者
Gilles Bernot / Michel Bidoit
出版1991
ISBN
OCLC:837596362
Interchange Format for Inter-operability of Tools ...
作者
Michel Bidoit / Christine Choppy
出版1996
ISBN
OCLC:35955498
主題
Computer software
Abstract Data Types with Exception Handling
作者
Gilles Bernot / Michel Bidoit / Christine Choppy
出版1985
ISBN
OCLC:475936895
CASL User Manual
作者
Michel Bidoit / Peter D. Mosses
出版Springer, 2004-01-29
ISBN
354020766X / 9783540207665
主題
Computers
Specification: Outil de Validation Et/ou Outil de ...
作者
Michel Bidoit / C. Gresse / G. Guiho
出版1980
ISBN
OCLC:897771243
Abstract Implementations and Correctness Proofs
作者
Gilles Bernot / Michel Bidoit
出版1985
ISBN
OCLC:26875922
Towards Modular Theorem-provers for Modular Algebr...
作者
Frédéric Voisin / Michel Bidoit
出版1995
ISBN
OCLC:36029945
How to Make Algebraic Specifications More Understa...
作者
Michel Bidoit / Marie-Claude Gaudel / Anne Mauboussin
出版1988
ISBN
OCLC:19995267
主題
Computer software
The Design and Specification of the ASSPEGIQUE Dat...
作者
Michel Bidoit / Francis Capy
出版1990
ISBN
OCLC:22868654
主題
Data base design
Tapsoft'97
作者
Michel Bidoit / Max Dauchet
出版2014-01-15
ISBN
3662181576 / 9783662181577
The ASSPEGIQUE Speciafication Environment
作者
Michel Bidoit / Christine Choppy
出版1985
ISBN
OCLC:26882089
Integrating ASSPEGIQUE and LP
作者
Christine Choppy / Michel Bidoit
出版1992
ISBN
OCLC:32450228
主題
Software engineering
Abstracts Data Types with Exception Handling
作者
Gilles Bernot / Michel Bidoit
出版1985
ISBN
OCLC:26875954
Exception Handling
作者
Michel Bidoit
出版1983
ISBN
OCLC:26888961
How to Make Algebraic Specifications More Understa...
作者
Michel Bidoit / Marie-Claude Gaudel
出版1987
ISBN
OCLC:19995267
主題
Computer software
A general framework for modular implementations of...
作者
Michel Bidoit / Rolf Hennicker
出版1993
ISBN
OCLC:165153022
Asspegique
作者
Michel Bidoit / Christine Choppy
出版1985
ISBN
OCLC:26882071
The ASSPEGIQUE Specification Environment Motivatio...
作者
Michel Bidoit / C. Choppy / F. Voisin
出版1985
ISBN
OCLC:897691558
A System which Synthezizes Array-manipulating Prog...
作者
Michel Bidoit / C. Gresse / G. Guiho
出版1979
ISBN
OCLC:897770993
Initial Models of Algebraic Specifications with Ex...
作者
Gilles Bernot / Michel Bidoit
出版1984
ISBN
OCLC:26876047