登入選單
Google圖書搜尋
Development of Algebraic Specifications with Const...
作者
Fernando Orejas / Silvia Inés Clerici / Vera Sacristán Adinolfi
出版1989
ISBN
OCLC:1224077102
Developement of Algebraic Specifications with Cons...
作者
Fernando Orejas Valdés / Silvia Inés Clerici / Vera Sacristán Adinolfi
出版1989
ISBN
OCLC:802585485
Formal Analysis of Functional Behaviour for Model ...
作者
Frank Hermann / Hartmut Ehrig / Fernando Orejas / Ulrike Golas
出版2020
ISBN
OCLC:1199773536
Automata, Languages and Programming
作者
Fernando Orejas
出版Springer Science & Business Media, 2001-06-27
ISBN
9783540422877 / 3540422870
主題
Computers
Symbolic model generation for graph properties
作者
Schneider, Sven / Lambers, Leen / Orejas, Fernando
出版Universitätsverlag Potsdam, 2017-05-09
ISBN
9783869563961 / 3869563966
主題
Computers
A Module Concept Within the Initial Behaviour Fram...
作者
Pilar Nivela Alós
出版1988
ISBN
OCLC:802585452
On Implementability and Computability on Abstract ...
作者
Fernando Orejas Valdés
出版1983
ISBN
OCLC:802611537
Parametrized Conditional Log-specifications
作者
Marisa Navarro
出版1989
ISBN
OCLC:802585488
On Sufficiently Complete Parameterized Specificati...
作者
Fernando Orejas Valdés
出版1983
ISBN
OCLC:802611517
Efficient Analysis and Execution of Correct and Co...
作者
Frank Hermann / Hartmut Ehrig / Ulrike Golas / Fernando Orejas
出版2020
ISBN
OCLC:1199704778
Behavioural Approach to Modular System Specificati...
作者
Hartmut Ehrig
出版1988
ISBN
OCLC:475873261
Constraints for Behavioural Specifications
作者
Fernando Orejas Valdés / Pilar Nivela Alós
出版1990
ISBN
OCLC:802610865
A Type-theoretic approach to proof support for alg...
作者
Nicolas Mylonakis Pascual / Fernando Orejas Valdés
出版2000
ISBN
8469955209 / 9788469955208
Characterizing Composability of Abstract Implement...
作者
Fernando Orejas Valdés
出版1982
ISBN
OCLC:802611454
TAPSOFT
出版1989
ISBN
UOM:39015012052505
主題
Computer software
Correctness of Horizontal and Vertical Composition...
作者
Hartmut Ehrig / Hans-Jörg Kreowski / Fernando Orejas
出版1996
ISBN
OCLC:35870644
主題
Abstract data types (Computer science)
A Proof System for Verifying Composability of Abst...
作者
Fernando Orejas Valdés
出版1983
ISBN
OCLC:802611529
An Algebaric Framework for the Definition Fo of Co...
作者
Francisca Lucio Carrasco / Fernando Orejas Valdés / Elvira Pino Blanco
出版1997
ISBN
OCLC:807597953
An Algebraic study of modularity in logic programm...
作者
Elvira Pino Blanco / Fernando Orejas Valdés
出版1999
ISBN
OCLC:807095399
Correctness, Completeness and Termination of Patte...
作者
Fernando Orejas / Esther Guerra / Juan de Lara / Hartmut Ehrig
出版2020
ISBN
OCLC:1199733359
TAPSOFT '89. Proceedings of the International Join...
作者
Josep Diaz / Fernando Orejas
出版Springer Science & Business Media, 1989-02-27
ISBN
3540509402 / 9783540509400
主題
Computers
Notes on Set Theory
作者
Josep Díaz
出版Springer, 1989
ISBN
UCSD:31822002643880
主題
Mathematics
Relevance, Integration and Classification of Speci...
作者
Hartmut Ehrig / Fernando Orejas / Julia Padberg
出版1999
ISBN
OCLC:637431780
主題
Abstract data types (Computer science)
TAPSOFT '89
出版1989
ISBN
MINN:319510009753689
主題
Computer software
Correctness of Model Synchronization Based on Trip...
作者
Frank Hermann / Hartmut Ehrig / Fernando Orejas / Krzysztof Czarnecki / Zinovy Diskin / Yingfei Xiong
出版2020
ISBN
OCLC:1199665642
Dynamic Abstract Data Types Based on Algebraic Gra...
作者
Hartmut Ehrig / Michael Löwe / Fernando Orejas
出版1994
ISBN
OCLC:1078673403
ALGEBRAIC SYSTEM SPECIFICATION AND DEVELOPMENT
作者
Michel Bidoit
出版1991
ISBN
OCLC:878748220
Efficient conflict detection in graph transformati...
作者
Leen Lambers
出版2006
ISBN
OCLC:915974403
Correctness, Completeness and Termination of Patte...
作者
Fernando Orejas
出版2009
ISBN
OCLC:444928678
Concurrent Model Synchronization with Conflict Res...
作者
Frank Hermann / Hartmut Ehrig / Claudia Ermel / Fernando Orejas
出版2020
ISBN
OCLC:1199665381