|
【预售】Specification and Design Methodology for Real-Time
【预订】Design, Specification and Verificati...
【预售】Understanding Z: A Specification Language and Its
【预订】Specification and Verification of Co...
【预售】B 2007: Formal Specification and Development in B:
【预订】Specification and Analysis of Concur...
【预售】System Specification and Design Languages: Selected
【预售】Communication Protocol Specification and
【预售】Formal Specification and Design
【预订】Semantics of Specification Languages...
【预订】Specification in B
【预订】Languages for System Specification: ...
【预售】The Object-Z Specification Language
【预订】Logic and Algebra of Specification
【预售】VLSI Specification, Verification and Synthesis
【预售】The Object-Z Specification Language
【预订】Algebraic Specification Techniques a...
【预售】Advances in Design and Specification Languages for
【预售】Zb 2002: Formal Specification and Development in Z
【预订】Software Specification and Design
【预订】Formal Specification 9781852330026
【预售】Protocol Specification and Testing
【预订】Software Specification Methods
【预订】UML-B Specification for Proven Embedded Systems Design
【预订】ZUM’97: The Z Formal Specification Notation
【预售】Specification and Proof in Real Time CSP
【预售】Neural Cell Specification: Molecular Mechanisms a
【预订】Formal Specification and Synthesis o...
【预售】High-Level System Modeling: Specification Languag
【预订】Specification for Exchange of Produc... |