登入選單
Google圖書搜尋
Engineering Theories of Software Intensive Systems
作者
Manfred Broy / Johannes Gruenbauer / David Harel / Tony Hoare
出版Springer Science & Business Media, 2005-07-15
ISBN
1402035306 / 9781402035302
主題
Computers
A Functional Rephrasing of the Assumption
作者
Manfred Broy
出版1994
ISBN
OCLC:695151597
Formal Systems Specification
作者
Manfred Broy / Stephan Merz / Katharina Spies
出版Springer Science & Business Media, 1996-11-06
ISBN
3540619844 / 9783540619840
主題
Computers
Methods of Programming
作者
Manfred Broy
出版Springer Science & Business Media, 1991-10-23
ISBN
354054576X / 9783540545767
主題
Computers
KORSO: Methods, Languages, and Tools for the Const...
作者
Manfred Broy / Stefan Jähnichen
出版Springer Science & Business Media, 1995-11-08
ISBN
3540605894 / 9783540605898
主題
Computers
Specification and Development of Interactive Syste...
作者
Manfred Broy / Ketil Stølen
出版Springer Science & Business Media, 2001-04-27
ISBN
0387950737 / 9780387950730
主題
Computers
Deterministic functions
作者
Manfred Broy / Friederike Nickl
出版1985
ISBN
OCLC:256444581
Perspectives of System Informatics
作者
Dines Bjorner / Manfred Broy / Alexandre Zamulin
出版Springer Science & Business Media, 2001-12-14
ISBN
9783540430759 / 354043075X
主題
Computers
Automotive Software-Connected Services in Mobile N...
作者
Manfred Broy / Ingolf Krüger / Michael Meisinger
出版Springer Science & Business Media, 2006-09-27
ISBN
9783540376774 / 3540376771
主題
Computers
Perspectives of System Informatics
作者
Dines Bjørner / Manfred Broy / Igor V. Pottosin
出版Springer Science & Business Media, 1996-12-04
ISBN
3540620648 / 9783540620648
主題
Computers
On Denotational Versus Predicative Semantics
作者
Manfred Broy / C. Lengauer
出版1987
ISBN
OCLC:123326577
Ultra loose algebraic specification
作者
Manfred Broy / Martin Wirsing
出版1988
ISBN
OCLC:311165223
Criteria for the Evaluation of Requirements Engine...
作者
Martin Fritsche / Manfred Broy / Tobias Schröpf
出版2008
ISBN
OCLC:1303075288
Pragmatic and Formal Specification of System Prope...
作者
Manfred Broy
出版1998
ISBN
OCLC:76033182
On Modularity in Programming
作者
Manfred Broy
出版1985
ISBN
OCLC:1070121635
On bounded buffers
作者
Manfred Broy
出版1989
ISBN
OCLC:46095384
Specification of a Railway System
作者
Manfred Broy
出版1987
ISBN
OCLC:310712070
The Requirement and Design Specification Language ...
作者
Institut für Informatik München, Technische Universität / Spectrum Group / Technische Universität München Spectrum Group
出版1993
ISBN
OCLC:165204899
The Requirement and Design Specification Language ...
作者
Technische Universitäet Muenchen. Institut für Informatik / Manfred Broy / Christian Facchi / Radu Grosu / Rudi Hettler / Heinrich Hussmann / Dieter Nazareth / Franz Regensburger / Oscar Slotosch / Ketil Stolen
出版1993
ISBN
OCLC:31897474
主題
Programming languages (Electronic computers)
Specification and Refinement of Reactive Systems
作者
Manfred Broy / Internationales Begegnungs- und Forschungszentrum für Informatik / L. Lamport
出版1994
ISBN
OCLC:832533364
Predicative Specifications of Robust Correctness f...
作者
Manfred Broy
出版1986
ISBN
OCLC:14868413
主題
Electric networks
Extensional Behaviour of Concurrent, Nondeterminis...
作者
Manfred Broy
出版1985
ISBN
OCLC:310645431
Weakening the weak conditions for self-timed circu...
作者
Manfred Broy / Carlos Delgado Kloos
出版1991
ISBN
OCLC:31897725
主題
Integrated circuits
Views of distributed systems
作者
Manfred Broy / Thomas Streicher
出版1986
ISBN
OCLC:75124112
Process semantics of communicating concurrent prog...
作者
Manfred Broy
出版1986
ISBN
OCLC:255974757
The Multinuclear Approach to NMR Spectroscopy
作者
J.B. Lambert / F.G. Riddell
出版Springer, 1983-05-31
ISBN
9027715823 / 9789027715821
主題
Mathematics
Structured specifications and implementation of no...
作者
Michał Walicki / Manfred Broy
出版1995
ISBN
OCLC:722670648
Extensional behaviour of concurrents, nondetermini...
作者
Manfred Broy
出版1985
ISBN
OCLC:1070141874
Software Architectures and Design Patterns in Busi...
作者
Manfred Broy
出版1997
ISBN
OCLC:245737981
A Functional Rephrasing of the Assumption/commitme...
作者
Manfred Broy
出版1994
ISBN
OCLC:35123049
主題
Distributed parameter systems