logo
Wrong email address or username
Wrong email address or username
Incorrect verification code
Zb 2000: Formal Specification and Development in Z and B: First International Conference of B and Z Users York, UK, August 29 - September 2, 2000 Proceedings - Jonathan P. Bowen, Steve Dunne, Steve King, Andy Galloway
Zb 2000: Formal Specification and Development in Z and B: First International Conference of B and Z Users York, UK, August 29 - September 2, 2000 Proceedings
by: (author) (author) (author) (author)
Format: paperback
ISBN: 9783540679448 (3540679448)
Publisher: Springer
Pages no: 510
Edition language: English
Bookstores:
Books by Steve King
The Eyes of Petra - Steve King
Kindle Unlimited: Everything there is to know about the Kindle Unlimited Subscription + 100 Kindle Unlimited ebooks you can read for Free! (Kindle Unlimited books by John Green Book 3) - Jon Green, Steve King, Nicholas Black
Zb 2003: Formal Specification and Development in Z and B: Third International Conference of B and Z Users, Turku, Finland, June 4-6, 2003, Proceedings - Didier Bert, Jonathan P. Bowen, Steve King, Marina Waldén
Brag, Worry, Wonder, Bet: A Manager's Guide to Giving Feedback - Steve King
ZB 2003: Formal Specification and Development in Z and B: Third International Conference of B and Z Users, Turku, Finland, June 4-6, 2003, Proceedings (Lecture Notes in Computer Science) - Didier Bert, Jonathan P. Bowen, Steve King, Marina Waldxe9n
Running in the Zone - Steve King, Dan Cumming
Kindle Unlimited - Email Marketing Perfection: The 11 Elements of an Award Winning Email Marketing Strategy (Unlimited by John Green) - John Green, Steve King, Nicholas books on Black
100 Children's Books that Everyone Must Read!: The Top 100 All-time Favorites list (Best Selling Children's Books) - Stephanie King, Jon Green, Steve King
Dataflex Developer's Handbook - Juan E. ... Dataflex Developer's Handbook - Juan E. Jimenez, Steve King
Ved Morir a Jack (See Jack Die): Romance, Paranormal, Misterio, Thriller y Suspenso (See Jack Die Paranormal Romance Series nº 1) (Spanish Edition) - Nicholas Black, Steve King, Carolina Orihuela
Books by Steve Dunne
Zb 2000: Formal Specification and Development in Z and B: First International Conference of B and Z Users York, UK, August 29 - September 2, 2000 Proceedings - Jonathan P. Bowen, Steve Dunne, Steve King, Andy Galloway
Unifying Theories of Programming: First International Symposium, Utp 2006, Walworth Castle, County Durham, UK, February 5-7, 2006, Revised Selected Papers - Steve Dunne, Bill Stoddart
Unifying Theories of Programming: First ... Unifying Theories of Programming: First International Symposium, UTP 2006, Walworth Castle, County Durham, UK, February 5-7, 2006, Revised Selected Papers ... Computer Science and General Issues) - Steve Dunne, Bill Stoddart
Alone In The Middle: An Umpire's Story - Steve Dunne
The Reaper - Steve Dunne The Reaper - Steve Dunne
Books by Jonathan P. Bowen
Zum '95: The Z Formal Specification Notation: 9th International Conference of Z Users, Limerick, Ireland, September 7 - 9, 1995. Proceedings - Jonathan P. Bowen, Michael G. Hinchey
ZB 2003: Formal Specification and Development in Z and B: Third International Conference of B and Z Users, Turku, Finland, June 4-6, 2003, Proceedings (Lecture Notes in Computer Science) - Didier Bert, Jonathan P. Bowen, Steve King, Marina Waldxe9n
ZUM '95: The Z Formal Specification Nota... ZUM '95: The Z Formal Specification Notation: 9th International Conference of Z Users, Limerick, Ireland, September 7 - 9, 1995. Proceedings (Lecture Notes in Computer Science) - Jonathan P. Bowen, Michael G. Hinchey
Abstract State Machines, B and Z - Egon Börger, Michael Butler, Jonathan P. Bowen, Paul Boca
Formal Methods: State of the Art and New Directions - Paul P. Boca, Jonathan P. Bowen, Jawed I Siddiqi
Electronic Visualisation in Arts and Culture (Springer Series on Cultural Computing) - Jonathan P. Bowen, Suzanne Keene, Kia Ng
Formal Methods: State of the Art and New Directions - Paul Boca, Jonathan P. Bowen, Jawed Siddiqi
Getting Started with Talend Open Studio for Data Integration by Bowen Jonathan (2012) Paperback - Bowen Jonathan
Industrial-Strength Formal Methods in Practice (Formal Approaches to Computing and Information Technology (FACIT)) - Michael G. Hinchey, Jonathan P. Bowen
Zb 2003: Formal Specification and Development in Z and B: Third International Conference of B and Z Users, Turku, Finland, June 4-6, 2003, Proceedings - Didier Bert, Jonathan P. Bowen, Steve King, Marina Waldén
Books by Andy Galloway
Ifm 99: Proceedings of the 1st International Conference on Integrated Formal Methods, York, 28 29 June 1999 - K. Araki, Keijiro Araki, Andy Galloway, Kenji Taguchi
Zb 2000: Formal Specification and Development in Z and B: First International Conference of B and Z Users York, UK, August 29 - September 2, 2000 Proceedings - Jonathan P. Bowen, Steve Dunne, Steve King, Andy Galloway
Share this Book
Copyright © 2025 BookLikes Press About Terms of Services Privacy Policy Contact Us Blog FAQ Patronaty medialne BookLikes for Authors Partners panel Team Themes Docs API Blogs
Need help?
Important: Our sites use cookies. We use the information stored using cookies and similar technologies for advertising and statistics purposes. Stored data allow us to tailor the websites to individual user's interests. Cookies may be also used by third parties cooperating with BookLikes, like advertisers, research companies and providers of multimedia applications. You can choose how cookies are handled by your device via your browser settings. If you choose not to receive cookies at any time, BookLikes will not function properly and certain services will not be provided. For more information, please go to our Privacy Policy.