登入選單
Google圖書搜尋
ALGEBRAIC SYSTEM SPECIFICATION AND DEVELOPMENT
作者
Michel Bidoit
出版1991
ISBN
OCLC:878748220
CASL User Manual
作者
Michel Bidoit / Peter D. Mosses
出版Springer Science & Business Media, 2004-01-29
ISBN
9783540207665 / 354020766X
主題
Computers
The ASSPEGIQUE Specification Environment Motivatio...
作者
Michel Bidoit / C. Choppy / F. Voisin
出版1985
ISBN
OCLC:897691558
Algebraic System Specification and Development
作者
Bidoit
出版2014-01-15
ISBN
3662170663 / 9783662170663
Initial Models of Algebraic Specifications with Ex...
作者
Gilles Bernot / Michel Bidoit
出版1984
ISBN
OCLC:26876047
Towards Modular Theorem-provers for Modular Algebr...
作者
Frédéric Voisin / Michel Bidoit
出版1995
ISBN
OCLC:36029945
Asspegique
作者
Michel Bidoit / Christine Choppy
出版1985
ISBN
OCLC:26882071
CASL User Manual
作者
Michel Bidoit / Peter D. Mosses
出版Springer, 2004-01-29
ISBN
354020766X / 9783540207665
主題
Computers
Observational Approaches in Algebraic Specificatio...
作者
G. Bernot / Michel Bidoit / T. Knapik
出版1991
ISBN
OCLC:897953471
Algebraic Specification of Exception Handling and ...
作者
Michel Bidoit
出版1983
ISBN
OCLC:26882042
Specification: Outil de Validation Et/ou Outil de ...
作者
Michel Bidoit / C. Gresse / G. Guiho
出版1980
ISBN
OCLC:897771243
How to Make Algebraic Specifications More Understa...
作者
Michel Bidoit / Marie-Claude Gaudel
出版1987
ISBN
OCLC:19995267
主題
Computer software
Towards an Adequate Notion of Observation
作者
Gilles Bernot / Michel Bidoit / Teodor Knapik
出版1992
ISBN
OCLC:837596855
Observational Specifications and the Indistinguish...
作者
Gilles Bernot / Michel Bidoit / Teodor Knapik
出版1992
ISBN
OCLC:837597110
How to Make Algebraic Specifications More Understa...
作者
Michel Bidoit / Marie-Claude Gaudel / Anne Mauboussin
出版1988
ISBN
OCLC:19995267
主題
Computer software
Bahavioural Theories and the Proof of Behavioural ...
作者
Michel Bidoit / Rolf Hennicker
出版1995
ISBN
OCLC:897843974
Interchange Format for Inter-operability of Tools ...
作者
Michel Bidoit / Christine Choppy
出版1996
ISBN
OCLC:35955498
主題
Computer software
Rapid Prototyping with Algebraic Specifications
作者
Christine Choppy / D. Bert / Michel Bidoit
出版1993
ISBN
OCLC:32464200
主題
Software engineering
Algebraic Semantics of Exception Handling
作者
Gilles Bernot / Michel Bidoit
出版1986
ISBN
OCLC:18551480
主題
Algebra, Abstract
A general framework for modular implementations of...
作者
Michel Bidoit / Rolf Hennicker
出版1993
ISBN
OCLC:165153022
Behavioural and abstractor specifications
作者
Michel Bidoit / Rolf Hennicker / Martin Wirsing
出版1994
ISBN
OCLC:165118230
Development of Modular Specifications by Stepwise ...
作者
Michel Bidoit
出版1991
ISBN
OCLC:837596572
Abstract Implementations and Correctness Proofs
作者
Gilles Bernot / Michel Bidoit
出版1985
ISBN
OCLC:26875922
The Design and Specification of the ASSPEGIQUE Dat...
作者
Michel Bidoit / Francis Capy
出版1990
ISBN
OCLC:22868654
主題
Data base design
Observational Logic, Constructor-based Logic, and ...
作者
Michel Bidoit / Alexander Kurz / Rolf Hennicker / Centrum voor Wiskunde en Informatica (Amsterdam, Netherlands)
出版2002
ISBN
OCLC:52648822
TAPSOFT'97: Theory and Practice of Software Develo...
作者
Michel Bidoit / Max Dauchet
出版Springer Science & Business Media, 1997-04-02
ISBN
3540627812 / 9783540627814
主題
Computers
Proving Behavioural Theorems with Standard First-o...
作者
Michel Bidoit / Rolf Hennicker
出版1994
ISBN
OCLC:897863727
Exception Handling
作者
Michel Bidoit
出版1983
ISBN
OCLC:26888961
The ASSPEGIQUE Speciafication Environment
作者
Michel Bidoit / Christine Choppy
出版1985
ISBN
OCLC:26882089
Architectural Specifications in CASL
作者
Michel Bidoit / Donald Sannella / Andrzej Tarlecki / University of Edinburgh. Division of Informatics
出版1999
ISBN
OCLC:606153761