logo
0
Product categories

EbookNice.com

Most ebook files are in PDF format, so you can easily read them using various software such as Foxit Reader or directly on the Google Chrome browser.
Some ebook files are released by publishers in other formats such as .awz, .mobi, .epub, .fb2, etc. You may need to install specific software to read these formats on mobile/PC, such as Calibre.

Please read the tutorial at this link.  https://ebooknice.com/page/post?id=faq


We offer FREE conversion to the popular formats you request; however, this may take some time. Therefore, right after payment, please email us, and we will try to provide the service as quickly as possible.


For some exceptional file formats or broken links (if any), please refrain from opening any disputes. Instead, email us first, and we will try to assist within a maximum of 6 hours.

EbookNice Team

ZB 2002: formal specification and development in Z and B : 2nd International Conference of B and Z Users, Grenoble, France, January 23-25, 2002 : proceedings by International Conference of B and Z Users (2nd : 2002 : Grenoble, France), Bert, Didier instant download

  • SKU: EBN-238890818
Zoomable Image
$ 32 $ 40 (-20%)

Status:

Available

5.0

39 reviews
Instant download (eBook) ZB 2002: formal specification and development in Z and B : 2nd International Conference of B and Z Users, Grenoble, France, January 23-25, 2002 : proceedings after payment.
Authors:International Conference of B and Z Users (2nd : 2002 : Grenoble, France), Bert, Didier
Pages:updating ...
Year:2002
Publisher:Berlin : Springer
Language:english
File Size:29.65 MB
Format:pdf
Categories: Ebooks

Product desciption

ZB 2002: formal specification and development in Z and B : 2nd International Conference of B and Z Users, Grenoble, France, January 23-25, 2002 : proceedings by International Conference of B and Z Users (2nd : 2002 : Grenoble, France), Bert, Didier instant download

xii, 534 p. : 24 cm, Includes bibliographical references
*Free conversion of into popular formats such as PDF, DOCX, DOC, AZW, EPUB, and MOBI after payment.

Related Products

-20%

Principles of knowledge representation and reasoning : proceedings of the Eighth International Conference (KR2002), Toulouse, France, April 22-25, 2002 by International Conference on Principles of Knowledge Representation and Reasoning (8th : 2002 : Toulouse, France), Fensel, Dieter instant download

5.0

41 reviews
$40 $32
-20%

Artificial intelligence and security in computing systems : 9th international conference, ACS '2002, Międzyzdroje, Poland, October 23-25, 2002 : proceedings by ACS '2002 (2002 : Międzyzdroje, Poland), Sołdek, Jerzy; Drobiazgiewicz, Leszek instant download

$40 $32
-20%

12th IEEE International Symposium on Asynchronous Circuits and Systems : proceedings : March 13-15, 2006 Grenoble, France by International Symposium on Asynchronous Circuits and Systems (12th : 2006 : Grenoble, France), IEEE Computer Society instant download

$40 $32
-20%

(Ebook) Future Network Systems and Security: Second International Conference, FNSS 2016, Paris, France, November 23-25, 2016, Proceedings by Robin Doss, Selwyn Piramuthu, Wei Zhou (eds.) ISBN 9783319480206, 9783319480213, 3319480200, 3319480219

$40 $32
-20%

(Ebook) Latent Variable Analysis and Signal Separation: 13th International Conference, LVA/ICA 2017, Grenoble, France, February 21-23, 2017, Proceedings by Petr Tichavský, Massoud Babaie-Zadeh, Olivier J.J. Michel, Nadège Thirion-Moreau (eds.) ISBN 9783319535463, 9783319535470, 3319535463, 3319535471

4.8

15 reviews
$40 $32
-20%

Ubiquitous intelligence and computing : 5th international conference, UIC 2008, Oslo, Norway, June 23-25, 2008 ; proceedings by UIC 2008 (2008 : Oslo, Norway), Sandnes, Frode Eika instant download

$40 $32
-20%

(Ebook) Formal Techniques for Distributed Objects, Components, and Systems: 35th IFIP WG 6.1 International Conference, FORTE 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, Ju by Susanne Graf, Mahesh Viswanathan (eds.) ISBN 9783319191942, 3319191942

$40 $32
-20%

Advances in intelligent web mastering : proceedings of the 5th Atlantic Web Intelligence Conference--AWIC'2007, Fontainebleau, France, June 25-27, 2007 by International Atlantic Web Intelligence Conference (5th : 2007 : Fontainebleau, France), Węgrzyn-Wolska, Katarzyna M; Szczepaniak, Piotr S., 1953- instant download

4.9

35 reviews
$40 $32
-20%

(Ebook) Perspectives in Business Informatics Research: 18th International Conference, BIR 2019, Katowice, Poland, September 23–25, 2019, Proceedings by Małgorzata Pańkowska, Kurt Sandkuhl ISBN 9783030311421, 9783030311438, 3030311422, 3030311430

$40 $32
-20%

Annual Reliability and Maintainability Symposium : 2002 proceedings : the International Symposium on Product Quality & Integrity : Seattle, Washington, USA, 2002 January 28-31 by Reliability and Maintainability Symposium (2002 : Seattle, Wash.), Society of Automotive Engineers, Institute of Electrical and Electronics Engineers instant download

$40 $32