Specification of Software Systems Image close
Specification of Software Systems by V.S. Alagar
Specification of Software Systems by V.S. Alagar
Show Hide Adult Content
Specification of Software Systems close

Computers & Internet Books:

Home  
Books  
Computers & Internet  
Computer Programming  
Software engineering

Specification of Software Systems

Click to share your rating 0 ratings (0.0/5.0 average) Thanks for your vote!

By:

Format:

Paperback / softback
$146.99
RRP:
$180.95 save $33.96
Available from supplier

The item is brand new and in-stock with one of our preferred suppliers. The item will ship from a Mighty Ape warehouse within the timeframe shown.

Usually ships in 3-4 weeks
0 in Trolley

Buy Now, Pay Later with:

4 payments of $36.75 with Afterpay Learn more

Availability

Delivering to:

Estimated arrival:

  • Around 19 Jun - 1 Jul using International Courier

Explore more Texts in Computer Science

See all products in this series

Animated Problem Solving on Hardback by Marco T. Morazan
$207.99
Animated Problem Solving
by Marco T. Morazan ~ Hardback
Available - Usually ships in 3-4 weeks
Computability and Complexity Theory on Hardback by Steven Homer
$241.99
Computability and Complexity Theory
by Steven Homer ~ Hardback
Available - Usually ships in 3-4 weeks
Software Reliability Methods by Doron A. Peled Save $130
$137.99
$268.95
Software Reliability Methods
by Doron A. Peled ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Guide to Web Development with Java on Hardback by Tim Downey
$195.99
Guide to Web Development with Java
by Tim Downey ~ Hardback
Available - Usually ships in 3-4 weeks
Understanding Computation on Hardback by Arnold L. Rosenberg
$265.99
Understanding Computation
by Arnold L. Rosenberg ~ Hardback
Available - Usually ships in 3-4 weeks
An Integrated Approach to Software Engineering on Hardback by Pankaj Jalote
$250.99
An Integrated Approach to Software Engineering
by Pankaj Jalote ~ Hardback
Available - Usually ships in 3-4 weeks
Software Reliability Methods on Hardback by Doron A. Peled Save $128
$139.99
$268.95
Software Reliability Methods
by Doron A. Peled ~ Hardback
Available - Usually ships in 3-4 weeks
Descriptive Complexity on Hardback by Neil Immerman
$311.99
Descriptive Complexity
by Neil Immerman ~ Hardback
Available - Usually ships in 3-4 weeks
Computational Methods for Deep Learning on Hardback by Wei Qi Yan
$140.99
Computational Methods for Deep Learning
by Wei Qi Yan ~ Hardback
Available - Usually ships in 2-3 weeks
Mathematical Foundations of Software Engineering on Hardback by Gerard O'Regan
$243.99
Mathematical Foundations of Software Engineering
by Gerard O'Regan ~ Hardback
Available - Usually ships in 3-4 weeks
Animated Program Design on Hardback by Marco T. Morazan
$136.99
Animated Program Design
by Marco T. Morazan ~ Hardback
Available - Usually ships in 3-4 weeks
Computability and Complexity Theory by Steven Homer
$238.99
Computability and Complexity Theory
by Steven Homer ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Formal Languages and Compilation by Stefano Crespi Reghizzi
$196.99
Formal Languages and Compilation
by Stefano Crespi Reghizzi ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Java in Two Semesters on Hardback by Quentin Charatan
$195.99
Java in Two Semesters
by Quentin Charatan ~ Hardback
Available - Usually ships in 3-4 weeks
Algorithms on Trees and Graphs by Gabriel Valiente
$160.99
Algorithms on Trees and Graphs
by Gabriel Valiente ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Explorations in Quantum Computing on Hardback by Colin P. Williams
$256.99
Explorations in Quantum Computing
by Colin P. Williams ~ Hardback
Available - Usually ships in 3-4 weeks

Description

This extensively revised and updated new edition of Specification of Software Systems builds upon the original focus on software specification with added emphasis on the practice of formal methods for specification and verification activities for different types of software systems and at different stages of developing software systems. Topics and features: provides a wide coverage of formal specification techniques and a clear writing style, supported by end-of-chapter bibliographic notes for further reading; presents a logical structure, with sections devoted to specification fundamentals, basics of formalism, logic, set theory and relations, property-oriented specification methods, and model-based specification techniques; contains end-of-chapter exercises and numerous case studies, with potential course outlines suggested in the Preface; covers Object-Z, B-Method, and Calculus of Communicating Systems; offers material that can be taught with tool-supported laboratory projects.

Author Biography:

Dr. V.S. Alagar is Professor Emeritus at the Department of Computer Science and Software Engineering of Concordia University, Montreal, Canada. Dr. K. Periyasamy is a full Professor at the Department of Computer Science of the University of Wisconsin-La Crosse, USA.
Release date Australia
April 21st, 2013
Audience
  • Professional & Vocational
Edition
Softcover reprint of hardcover 2nd ed. 2011
Illustrations
XXVI, 646 p.
Pages
646
Dimensions
156x234x34
ISBN-13
9781447126447
Product ID
21342882

Customer reviews

Nobody has reviewed this product yet. You could be the first!

Write a Review

Marketplace listings

There are no Marketplace listings available for this product currently.
Already own it? Create a free listing and pay just 9% commission when it sells!

Sell Yours Here

Explore more by V.S. Alagar

See all books by this author

Specification of Software Systems on Hardback by V.S. Alagar Save $6
$173.99
$180.95
Specification of Software Systems
by V.S. Alagar ~ Hardback
Available - Usually ships in 3-4 weeks

Recommended for you

Recommended from your browsing history

Help & options

Filed under...

Books >
Computers & Internet >
Computer Programming >
Software engineering
Books >
Computers & Internet >
Computer Programming >
Programming languages
Books >
Computers & Internet >
Computer programming / software development >
Compilers
Books >
Computers & Internet >
Computer programming / software development >
Programming & scripting languages: general
Books >
Computers & Internet >
Computer programming / software development >
Software Engineering
Books >
Computers & Internet >
Computer science >
Mathematical theory of computation