Welcome to Loot.co.za!   Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search
0
Your cart

Your cart is empty

Books > Computing & IT > Computer programming > Software engineering

Buy Now

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 (Paperback, 2003 ed.) Loot Price: R2,886
Discovery Miles 28 860
Repayment Terms: R270 pm x 12*
Add to cart
ZB 2003: Formal Specification and Development in Z and B - Third International Conference of B and Z Users, Turku, Finland,...

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 (Paperback, 2003 ed.)

Didier Bert, Jonathan P. Bowen, Steve King, Marina Walden

Series: Lecture Notes in Computer Science, 2651

 (sign in to rate)
Loot Price R2,886 Discovery Miles 28 860 | Repayment Terms: R270 pm x 12*

Bookmark and Share

Expected to ship within 18 - 22 working days

The refereed proceedings of the Third International Conference of Z and B Users, ZB 2003, held in Turku, Finland in June 2003. The 28 revised full papers presented together with 3 invited papers were carefully reviewed and selected for inclusion in the book. The book documents the recent advances for the Z formal specification notation and for the B method, spanning the full scope from foundational, theoretical, and methodological issues to advanced applications, tools, and case studies.

General

Imprint: Springer-Verlag
Country of origin: Germany
Series: Lecture Notes in Computer Science, 2651
Release date: May 2003
First published: 2003
Editors: Didier Bert • Jonathan P. Bowen • Steve King • Marina Walden
Dimensions: 235 x 155 x 29mm (L x W x T)
Format: Paperback
Pages: 554
Edition: 2003 ed.
ISBN-13: 978-3-540-40253-4
Categories: Books > Computing & IT > General theory of computing > Systems analysis & design
Books > Computing & IT > Computer programming > Software engineering
Promotions
LSN: 3-540-40253-5
Barcode: 9783540402534

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!

You might also like..

Programming Logic & Design, Comprehensive (Paperback, 9th edition): Joyce Farrell
Programming Logic & Design…
Joyce Farrell Paperback R1,256 R1,170 Discovery Miles 11 700
Hardware Accelerator Systems for Artificial Intelligence and Machine Learning, Volume 122 (Hardcover): Shiho Kim, Ganesh...
Hardware Accelerator Systems for…
Shiho Kim, Ganesh Chandra Deka Hardcover R3,950 Discovery Miles 39 500
Dark Silicon and Future On-chip Systems, Volume 110 (Hardcover): Suyel Namasudra, Hamid Sarbazi-Azad
Dark Silicon and Future On-chip Systems…
Suyel Namasudra, Hamid Sarbazi-Azad Hardcover R3,940 Discovery Miles 39 400
Essential Java for Scientists and Engineers (Paperback): Brian Hahn, Katherine Malan
Essential Java for Scientists and…
Brian Hahn, Katherine Malan Paperback R1,266 Discovery Miles 12 660
The Business Analyst - Information Technology?s Paradigm Shift (Paperback): Vernon Zwiers
The Business Analyst - Information…
Vernon Zwiers Paperback R657 R606 Discovery Miles 6 060
Advances in Computers, Volume 130 (Hardcover): Ali Hurson
Advances in Computers, Volume 130
Ali Hurson Hardcover R3,930 Discovery Miles 39 300
Principles of Big Graph: In-depth Insight, Volume 128 (Hardcover): Ripon Patgiri, Ganesh Chandra Deka, Anupam Biswas
Principles of Big Graph: In-depth…
Ripon Patgiri, Ganesh Chandra Deka, … Hardcover R3,925 Discovery Miles 39 250
Perspective of DNA Computing in Computer Science, Volume 129 (Hardcover): Suyel Namasudra
Perspective of DNA Computing in Computer…
Suyel Namasudra Hardcover R3,925 Discovery Miles 39 250
Modern Software Engineering - Doing What Works to Build Better Software Faster (Paperback): David Farley
Modern Software Engineering - Doing What…
David Farley Paperback R860 R741 Discovery Miles 7 410
Advances in Computers, Volume 124 (Hardcover): Suyel Namasudra
Advances in Computers, Volume 124
Suyel Namasudra Hardcover R3,941 Discovery Miles 39 410
Data Prefetching Techniques in Computer Systems, Volume 125 (Hardcover): Pejman Lotfi-Kamran, Hamid Sarbazi-Azad
Data Prefetching Techniques in Computer…
Pejman Lotfi-Kamran, Hamid Sarbazi-Azad Hardcover R3,923 Discovery Miles 39 230
Edge/Fog Computing Paradigm: The Concept, Platforms and Applications., Volume 127 (Hardcover): Pethuru Raj, Kavita Saini,...
Edge/Fog Computing Paradigm: The…
Pethuru Raj, Kavita Saini, … Hardcover R3,966 Discovery Miles 39 660

See more
Books | DVD | Games | Music | Computers | Electronics | Fashion | Sport | Kitchen | Home | Pets | DIY | Toys | Baby | Health & Beauty | Stationery | Arts & Crafts
Need help?
My account
Services
Networking
Partners