The following text field will produce suggestions that follow it as you type.

Home

Barnes and Noble

Formal Methods and Hybrid Real-Time Systems: Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays / Edition 1

Unfortunately, this item is no longer available, but we found some similar items you might like.

You May Also Like

Formal Methods and Models for System Design: A System Level Perspective / Edition 1

Formal Methods and Models for System Design: A System Level Perspective / Edition 1

Barnes and Noble
Formal Methods Outer Space: Essays Dedicated to Klaus Havelund on the Occasion of His 65th Birthday

Formal Methods Outer Space: Essays Dedicated to Klaus Havelund on the Occasion of His 65th Birthday

Barnes and Noble
Formal Foundations for Software Engineering Methods / Edition 1

Formal Foundations for Software Engineering Methods / Edition 1

Barnes and Noble
Formal Methods in Manufacturing / Edition 1

Formal Methods in Manufacturing / Edition 1

Barnes and Noble
Formal Specification: Techniques and Applications / Edition 1

Formal Specification: Techniques and Applications / Edition 1

Barnes and Noble
Learning, Control and Hybrid Systems: Festschrift in honor of Bruce Allen Francis and Mathukumalli Vidyasagar on the occasion of their 50th birthdays

Learning, Control and Hybrid Systems: Festschrift in honor of Bruce Allen Francis and Mathukumalli Vidyasagar on the occasion of their 50th birthdays

Barnes and Noble
VDM '90. VDM and Z - Formal Methods in Software Development: Third International Symposium of VDM Europe, Kiel, FRG, April 17-21, 1990, Proceedings / Edition 1

VDM '90. VDM and Z - Formal Methods in Software Development: Third International Symposium of VDM Europe, Kiel, FRG, April 17-21, 1990, Proceedings / Edition 1

Barnes and Noble
Formal Methods for Components and Objects: Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003. Revised Lectures / Edition 1

Formal Methods for Components and Objects: Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003. Revised Lectures / Edition 1

Barnes and Noble
Formal Methods for Protocol Engineering and Distributed Systems: Forte XII / PSTV XIX'99 / Edition 1

Formal Methods for Protocol Engineering and Distributed Systems: Forte XII / PSTV XIX'99 / Edition 1

Barnes and Noble
Perspectives in Mathematical System Theory, Control, and Signal Processing: A Festschrift in Honor of Yutaka Yamamoto on the Occasion of his 60th Birthday / Edition 1

Perspectives in Mathematical System Theory, Control, and Signal Processing: A Festschrift in Honor of Yutaka Yamamoto on the Occasion of his 60th Birthday / Edition 1

Barnes and Noble
Codes, Graphs, and Systems: A Celebration of the Life and Career of G. David Forney, Jr. on the Occasion of his Sixtieth Birthday / Edition 1

Codes, Graphs, and Systems: A Celebration of the Life and Career of G. David Forney, Jr. on the Occasion of his Sixtieth Birthday / Edition 1

Barnes and Noble
Formal Methods and Software Engineering: 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006, Proceedings / Edition 1

Formal Methods and Software Engineering: 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006, Proceedings / Edition 1

Barnes and Noble
Data Management in a Connected World: Essays Dedicated to Hartmut Wedekind on the Occasion of His 70th Birthday / Edition 1

Data Management in a Connected World: Essays Dedicated to Hartmut Wedekind on the Occasion of His 70th Birthday / Edition 1

Barnes and Noble
Aspects of Molecular Computing: Essays Dedicated to Tom Head on the Occasion of His 70th Birthday / Edition 1

Aspects of Molecular Computing: Essays Dedicated to Tom Head on the Occasion of His 70th Birthday / Edition 1

Barnes and Noble
UML for Real: Design of Embedded Real-Time Systems / Edition 1

UML for Real: Design of Embedded Real-Time Systems / Edition 1

Barnes and Noble
Compositional Verification of Concurrent and Real-Time Systems / Edition 1

Compositional Verification of Concurrent and Real-Time Systems / Edition 1

Barnes and Noble
Powered by Adeptmind