Spotification of Popular Culture in the Field of Popular Communication

Pirate Politics

Patrick Burkart

159,95 kr.

Specification of Software Systems

V. S. Alagar; K. Periyasamy

374,95 kr.

Toward a Semantic Specification of Deep Case

Don L. Nilsen

899,95 kr.

Software Engineering 2

Dines Bjørner

374,95 kr.

Architectural Design

Chris A. Vissers; Luís Ferreira Pires; Dick A. C. Quartel; Marten van Sinderen

374,95 kr.

Logics of Specification Languages

Author

1.049,95 kr.

SynDEVS Co-Design Flow

H. Gregor Molter

374,95 kr.

Foundations of Algebraic Specification and Formal Software Development

Donald Sannella; Andrzej Tarlecki

899,95 kr.

Specification and Development of Interactive Systems

Manfred Broy; Ketil Stølen

374,95 kr.

Modular Specification and Verification of Object-Oriented Programs

Peter Müller

244,95 kr.

Specification and Analytical Evaluation of Heterogeneous Dynamic Quorum-Based Data Replication Schemes

Christian Storm

374,95 kr.

Formal and Practical Aspects of Autonomic Computing and Networking: Specification, Development, and Verification

Phan Cong-Vinh

1.199,95 kr.

ZB 2000: Formal Specification and Development in Z and B

Stephen Dunne; Jonathan P. Bowen; Steve King

244,95 kr.