登入選單
Google圖書搜尋
Behavioural Specifications
作者
Martin Wirsing / Rolf Hennicker
出版1993
ISBN
OCLC:634700882
Rigorous Software Engineering for Service-Oriented...
作者
Martin Wirsing / Matthias Hölzl
出版Springer, 2011-09-15
ISBN
9783642204012 / 3642204015
主題
Computers
Radical Innovations of Software and Systems Engine...
作者
Martin Wirsing / Alexander Knapp / Simonetta Balsamo
出版Springer, 2004-03-18
ISBN
3540211799 / 9783540211792
主題
Computers
Algebraic Methodology and Software Technology
作者
Martin Wirsing / Maurice Nivat
出版Springer Science & Business Media, 1996-06-19
ISBN
354061463X / 9783540614630
主題
Computers
Adapting Proofs-as-Programs
作者
Iman Poernomo / John N. Crossley / Martin Wirsing
出版Springer Science & Business Media, 2007-04-27
ISBN
9780387281834 / 0387281835
主題
Computers
Software Engineering for Collective Autonomic Syst...
作者
Martin Wirsing / Matthias Hölzl / Nora Koch / Philip Mayer
出版2015
ISBN
3319163116 / 9783319163116
A formal approach to requirements engineering
作者
Friederike Nickl / Martin Wirsing
出版1993
ISBN
OCLC:165152944
Algebraic specification
作者
Martin Wirsing
出版1991
ISBN
OCLC:246906723
Reusable Specification Components
作者
Martin Wirsing / Rolf Hennicker / Ruth Breu
出版1988
ISBN
OCLC:311171102
Programming Language Implementation and Logic Prog...
作者
Jan Małuszyński / Martin Wirsing
出版Springer Science & Business Media, 1991-08-14
ISBN
3540544445 / 9783540544449
主題
Computers
Algebraic description of reusable software compone...
作者
Martin Wirsing
出版1988
ISBN
OCLC:311171090
Recent Trends in Algebraic Development Techniques
作者
Martin Wirsing / Dirk Pattinson
出版Springer Science & Business Media, 2003-11-24
ISBN
9783540205371 / 3540205373
主題
Computers
Ultra loose algebraic specification
作者
Manfred Broy / Martin Wirsing
出版1988
ISBN
OCLC:311165223
An object oriented airport
作者
Ulrike Lechner / Christian Lengauer / Martin Wirsing
出版1994
ISBN
OCLC:312420255
MENU
作者
Martin Wirsing / Rolf Hennicker / Robert Stabl
出版1989
ISBN
OCLC:258337001
Observational specification: a Birkhoff-theorem
作者
Rolf Hennicker / Martin Wirsing
出版1985
ISBN
OCLC:46080645
Logic for System Engineering
作者
Stefan Jähnichen / Jacques Loeckx / Martin Wirsing
出版1997
ISBN
OCLC:897832957
STACS 88
作者
Robert Cori / Martin Wirsing
出版Springer Science & Business Media, 1988-01-27
ISBN
3540188347 / 9783540188346
主題
Computers
Continuous abstract data types
作者
Andrzej Tarlecki / Martin Wirsing
出版1986
ISBN
OCLC:255973654
Spectrum
作者
Martin Wirsing
出版1994
ISBN
OCLC:258567245
HOPE Et ML
作者
Donald Sannella / Martin Wirsing
出版1987
ISBN
OCLC:46155878
On Hierarchies of Abstract Data Types
作者
Martin Wirsing
出版1983
ISBN
OCLC:256051418
Trustworthy Global Computing
作者
Martin Wirsing / Martin Hofmann / Axel Rauschmayer
出版Springer, 2010-09-15
ISBN
9783642156403 / 3642156401
主題
Computers
Denotational Semantics of Algebraic Specification ...
作者
Martin Wirsing
出版1985
ISBN
OCLC:46080691
Fundamental Approaches to Software Engineering
作者
Marsha Chechik
出版2009
ISBN
OCLC:846874551
主題
Software architecture
Bisimulation in Algebraic Specifications
作者
Egidio Astesiano / Martin Wirsing
出版1987
ISBN
OCLC:310712090
Behavioural and abstractor specifications
作者
Michel Bidoit / Rolf Hennicker / Martin Wirsing
出版1994
ISBN
OCLC:165118230
Structured algebraic specifications
作者
Martin Wirsing
出版1985
ISBN
OCLC:46080649
Algebraic specifications of reachable higher order...
作者
Bernhard Möller / Andrzej Tarlecki / Martin Wirsing
出版1988
ISBN
OCLC:311171145
STACS 88
作者
Robert Cori / Martin Wirsing
出版1988
ISBN
OCLC:20150475
主題
Computers