4.0%OFF
Download App
| >> | LShop | >> | Book | >> | Society & Social Sci... | >> | Education | >> | Abstract State Machi... |
4.0%OFF
Abstract State Machines, B and Z: First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings (Lecture Notes in Computer ... Computer Science and General Issues)
-
ISBN
:
9783540876021
-
Publisher
:
Springer
-
Subject
:
Education, Databases, Computer Science
-
Binding
:
PAPERBACK
-
Pages
:
394
-
Year
:
2008
₹
7676.0
4.0% OFF
₹
7368.0
7368.0
Buy Now
Shipping charges are applicable for books below Rs. 101.0
View Details(Imported Edition) Estimated Shipping Time : 25-28 Business Days
View Details
-
Description
This book constitutes the refereed proceedings of the First International Conference of Abstract State Machines, B and Z, ABZ 2008, held in London, UK, in September 2008. The conference simultaneously incorporated the 15th International ASM Workshop, the 17th International Conference of Z Users and the 8th International Conference on the B Method. The 44 revised full papers presented together with 4 invited contributions were carefully reviewed and selected from numerous submissions. The conference fosters the cross-fertilization of three rigorous methods for the design and analysis of hardware and software systems - both in academia and industry - namely Abstract State Machines, B, and Z. Covering a wide range of research spanning from theoretical and methodological foundations to tool support and practical applications, the contributions are organized in topical sections on abstract state machines, B papers, Z papers, ABZ short papers, and the papers of the Verified Software Repository Network (VSR-net) workshop.
Related Items
-
of
-
OFFER
Designing Concurrent, Distributed, and Real-Time Applications with UML
Hassan Gomaa
Starts At
6079.0
7999.0
24% OFF
-
OFFER
Theoretical Aspects of Object-Oriented Programming: Types, Semantics, and Language Design (Foundations of Computing)
Carl A. Gunter
Starts At
12973.0
15085.0
14% OFF
-
OFFER
Catastrophe Disentanglement: Getting Software Projects Back on Track
E. M. Bennatan
Starts At
2861.0
3920.0
27% OFF
-
OFFER
Software Systems Architecture: Working With Stakeholders Using Viewpoints and Perspectives
Nick Rozanski
Starts At
2913.0
3834.0
24% OFF
-
OFFER
Structured & Object-Oriented Problem Solving Using C++ (3rd Edition)
Andrew C. Staugaard
Starts At
5853.0
8018.0
27% OFF
-
OFFER
Essentials of Computer Organization and Architecture
Linda Null
Starts At
11586.0
13473.0
14% OFF
-
OFFER
Data Communications: From Basics to Broadband (3rd Edition)
William J. Beyda
Starts At
3736.0
5118.0
27% OFF
