Languages
Subject
Format
Availabity
Authors

Search result

Razvan Diaconescu, Diaconescu Razvan, Kokichi Futatsugi, Futatsugi Kokichi - Cafeobj Report: The Language, Proof Techniques, And Methodologies For Object-oriented Algebraic Specification
Razvan Diaconescu, Diaconescu Razvan, Kokichi Futatsugi, Futatsugi Kokichi Cafeobj Report: The Language, Proof Techniques, And Methodologies For Object-oriented Algebraic Specification English 02.07.1998 Hardback Fr. 66.00 3-5 weeks
Ingo Claben, Claben Ingo, Hartmut Ehrig, Ehrig Hartmut, Werner Fey, Dietmar Wolz - Algebraic Specification Techniques And Tools For Software Development: The Act Approach
Ingo Claben, Claben Ingo, Hartmut Ehrig, Ehrig Hartmut, Werner Fey, Dietmar Wolz Algebraic Specification Techniques And Tools For Software Development: The Act Approach English 01.11.1993 Hardback Fr. 96.00 3-5 weeks
Arthur C Fleck, Arthur Fleck, Arthur C Fleck, Arthur C (Univ Of Iowa Fleck, Arthur C. Fleck - Formal Models Of Computation: The Ultimate Limits Of Computing
Arthur C Fleck, Arthur Fleck, Arthur C Fleck, Arthur C (Univ Of Iowa Fleck, Arthur C. Fleck Formal Models Of Computation: The Ultimate Limits Of Computing English 12.03.2001 Hardback Fr. 166.00 3-5 weeks
Arie Van Deursen, A. van Deursen, Arie van Deursen, J. Heering, Jan Heering, Heering Jan... - Language Prototyping: An Algebraic Specification Approach
Arie Van Deursen, A. van Deursen, Arie van Deursen, J. Heering, Jan Heering, Heering Jan... Language Prototyping: An Algebraic Specification Approach English 01.09.1996 Hardback Fr. 196.00 3-5 weeks
Augusto Sampaio, Sampaio Augusto - Algebraic Approach To Compiler Design, An
Augusto Sampaio, Sampaio Augusto Algebraic Approach To Compiler Design, An English 19.04.1997 Hardback Fr. 130.00 3-5 weeks
C. Rattray, Charles Rattray, Rattray Charles, Teodor Rus, Rus Teodor - Theories And Experiences For Real-time System Development
C. Rattray, Charles Rattray, Rattray Charles, Teodor Rus, Rus Teodor Theories And Experiences For Real-time System Development English 01.02.1995 Hardback Fr. 216.00 3-5 weeks
Cornell Aurel, Aurel Cornell, Cornell Aurel, Dan Ionescu, Ionescu Dan - Real-time Systems: Modeling, Design And Applications
Cornell Aurel, Aurel Cornell, Cornell Aurel, Dan Ionescu, Ionescu Dan Real-time Systems: Modeling, Design And Applications English 06.03.2007 Hardback Fr. 316.00 3-5 weeks