登入
選單
Google圖書搜尋
全部
書名
作者
出版社
主題
ISBN
上一頁
1 ~ 30 / 54
下一頁
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