您现在所在的位置:首页>specification

specification

【预售】Specification and Design Methodology for Real-Time

【预售】Specification and Design Methodology for Real-Time

【预订】Design, Specification and Verificati...

【预订】Design, Specification and Verificati...

【预售】Understanding Z: A Specification Language and Its

【预售】Understanding Z: A Specification Language and Its

【预订】Specification and Verification of Co...

【预订】Specification and Verification of Co...

【预售】B 2007: Formal Specification and Development in B:

【预售】B 2007: Formal Specification and Development in B:

【预订】Specification and Analysis of Concur...

【预订】Specification and Analysis of Concur...

【预售】System Specification and Design Languages: Selected

【预售】System Specification and Design Languages: Selected

【预售】Communication Protocol Specification and

【预售】Communication Protocol Specification and

【预售】Formal Specification and Design

【预售】Formal Specification and Design

【预订】Semantics of Specification Languages...

【预订】Semantics of Specification Languages...

【预订】Specification in B

【预订】Specification in B

【预订】Languages for System Specification: ...

【预订】Languages for System Specification: ...

【预售】The Object-Z Specification Language

【预售】The Object-Z Specification Language

【预订】Logic and Algebra of Specification

【预订】Logic and Algebra of Specification

【预售】VLSI Specification, Verification and Synthesis

【预售】VLSI Specification, Verification and Synthesis

【预售】The Object-Z Specification Language

【预售】The Object-Z Specification Language

【预订】Algebraic Specification Techniques a...

【预订】Algebraic Specification Techniques a...

【预售】Advances in Design and Specification Languages for

【预售】Advances in Design and Specification Languages for

【预售】Zb 2002: Formal Specification and Development in Z

【预售】Zb 2002: Formal Specification and Development in Z

【预订】Software Specification and Design

【预订】Software Specification and Design

【预订】Formal Specification 9781852330026

【预订】Formal Specification 9781852330026

【预售】Protocol Specification and Testing

【预售】Protocol Specification and Testing

【预订】Software Specification Methods

【预订】Software Specification Methods

【预订】UML-B Specification for Proven Embedded Systems Design

【预订】UML-B Specification for Proven Embedded Systems Design

【预订】ZUM’97: The Z Formal Specification Notation

【预订】ZUM’97: The Z Formal Specification Notation

【预售】Specification and Proof in Real Time CSP

【预售】Specification and Proof in Real Time CSP

【预售】Neural Cell Specification: Molecular Mechanisms a

【预售】Neural Cell Specification: Molecular Mechanisms a

【预订】Formal Specification and Synthesis o...

【预订】Formal Specification and Synthesis o...

【预售】High-Level System Modeling: Specification Languag

【预售】High-Level System Modeling: Specification Languag

【预订】Specification for Exchange of Produc...

【预订】Specification for Exchange of Produc...