https://image22.fra1.digitaloceanspaces.com/VitalsourceFull/14.Education/gexdinzqgxBtcmjsgqCdknjygexdambqgaxdiobxhaCtgojvgCxtamrvgmztemzu.jpeg

(eBook PDF) ZB 2000: Formal Specification and Development in Z and B 1st Edition First International Conference of B and Z Users York, UK, August 29 - September 2, 2000 Proceedings

ibuks

$19.99

(No reviews yet) Write a Review

SKU:
UPC:
Condition:: New

Current Stock:

Quantity:

Adding to cart… The item has been added

Description

(eBook PDF) ZB 2000: Formal Specification and Development in Z and B 1st Edition First International Conference of B and Z Users York, UK, August 29 - September 2, 2000 Proceedings

Related Products

https://image22.fra1.digitaloceanspaces.com/VitalsourceFull/14.Education/gexdinzqgxBtcmjsgqCdknjygexdambqgaxdiobxhaCtcmjrgextamrvgmxdinbw.jpeg — Add to Cart The item has been added

ibuks

(eBook PDF) Abstract State Machines, B and Z 1st Edition First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings

$19.99

https://image22.fra1.digitaloceanspaces.com/Full63k/16770356771d140db350.jpeg — Add to Cart The item has been added

ibuks

(eBook PDF) Electronic Commerce and Web Technologies: First International Conference, EC-Web 2000 London, UK, September 4-6, 2000 Proceedings

$19.99

https://image22.fra1.digitaloceanspaces.com/Full63k/16770383296ce2f3a3df.jpeg — Add to Cart The item has been added

ibuks

(eBook PDF) Database and Expert Systems Applications: 11th International Conference, DEXA 2000 London, UK, September 4-8, 2000 Proceedings

$24.99

https://image22.fra1.digitaloceanspaces.com/Full63k/16770369668e52975191.jpeg — Add to Cart The item has been added

ibuks

(eBook PDF) Logics in Artificial Intelligence: European Workshop, JELIA 2000 Malaga, Spain, September 29 - October 2, 2000 Proceedings

$24.99

https://image22.fra1.digitaloceanspaces.com/VitalsourceFull/14.Education/gexdinzqgxBtcmjsgqCdknjygexdambqgaxdiobxhaCdqnzzgextamrvgiCdcnjy.jpeg — Add to Cart The item has been added

ibuks

(eBook PDF) Theorem Proving in Higher Order Logics 1st Edition 13th International Conference, TPHOLs 2000 Portland, OR, USA, August 14-18, 2000 Proceedings

$19.99

https://image22.fra1.digitaloceanspaces.com/VitalsourceFull/14.Education/gexdinzqgxBtcmjsgqCdknjygexdambqgaxdiobxhaCtgmbvhaxtamrvgmzdgnby.jpeg — Add to Cart The item has been added

ibuks

(eBook PDF) Natural Language Processing - NLP 2000 1st Edition Second International Conference Patras, Greece, June 2-4, 2000 Proceedings

$19.99

https://image22.fra1.digitaloceanspaces.com/Full63k/167703844767e84dbe5a.jpeg — Add to Cart The item has been added

ibuks

(eBook PDF) Web-Age Information Management: First International Conference, WAIM 2000 Shanghai, China, June 21-23, 2000 Proceedings

$19.99

https://image22.fra1.digitaloceanspaces.com/Full63k/16770384478ebf91491f.jpeg — Add to Cart The item has been added

ibuks

(eBook PDF) Design and Applications of Intelligent Agents: Third Pacific Rim International Workshop on Multi-Agents, PRIMA 2000 Melbourne, Australia, August 28-29, 2000 Proceedings

$19.99

https://image22.fra1.digitaloceanspaces.com/VitalsourceFull/14.Education/gexdinzqgxBtcmjsgqCdknjygexdambqgaxdiobxhaCteobwgaxtamrvgmzdcnbx.jpeg — Add to Cart The item has been added

ibuks

(eBook PDF) Compiler Construction 1st Edition 9th International Conference, CC 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 - April 2, 2000 Proceedings

$19.99