ZB 2005: Formal Specification and Development in Z and B : 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005, Proceedings, PDF eBook

ZB 2005: Formal Specification and Development in Z and B : 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005, Proceedings PDF

Edited by Helen Treharne, Steve King, Martin Henson, Steve Schneider

Part of the Lecture Notes in Computer Science series

PDF

Download Now
  • Information

Information

Save 14%

£89.50

£76.08

Download Now
Add to Basket
Sign in to add to wishlist

Information

Also in the Lecture Notes in Computer Science series

Information Security Practice and Experience : 18th International Conference, ISPEC 2023, Copenhagen, Denmark, August 24-25, 2023, Proceedings

Information Security Practice and Experience

Weizhi Meng

£79.50

£67.58

Add to Basket
WALCOM: Algorithms and Computation : 18th International Conference and Workshops on Algorithms and Computation, WALCOM 2024, Kanazawa, Japan, March 18–20, 2024, Proceedings

WALCOM: Algorithms and Computation

Ryuhei Uehara

£64.99

£47.01

Add to Basket
WALCOM: Algorithms and Computation : 18th International Conference and Workshops on Algorithms and Computation, WALCOM 2024, Kanazawa, Japan, March 18-20, 2024, Proceedings

WALCOM: Algorithms and Computation

Ryuhei Uehara

£64.99

£55.24

Add to Basket
Chinese Lexical Semantics : 24th Workshop, CLSW 2023, Singapore, Singapore, May 19-21, 2023, Revised Selected Papers, Part I

Chinese Lexical Semantics

Minghui Dong

£69.99

£59.49

Add to Basket