Modelling Systems: Practical Tools and Techniques in Software Development

Fitzgerald, John, Larsen, Peter Gorm

ISBN 10: 0521899117 ISBN 13: 9780521899116

Published by Cambridge University Press, 2009

Language: English

Condition: Used - Very good Hardcover

Save for Later

Sold by Labyrinth Books, Princeton, NJ, U.S.A.

AbeBooks Seller since December 18, 2023

Seller rating 5 out of 5 stars

View this seller's items

View all copies of this book

Used - Hardcover

Condition: Used - Very good

Price: US$ 39.98 Convert Currency

US$ 4.50 shipping within U.S.A. Destination, rates & speeds

Quantity: 2 available

Add to basket

Free 30-day returns

Save for Later

About this Item

Seller Inventory # 121012

Contact seller

Report this item

Bibliographic Details

Title

Modelling Systems: Practical Tools and Techniques in Software Development

Publisher

Cambridge University Press

Publication Date

2009

Language

English

ISBN 10

0521899117

ISBN 13

9780521899116

Binding

Hardcover

Edition

2nd Edition

Condition

Very Good

Seller catalogs

About this title

Synopsis

How can we make sure that the software we build does what it is supposed to? This book provides an insight into established techniques which help developers to overcome the complexity of software development by constructing models of software systems in early design stages. It uses one of the leading formal methods, VDM (Vienna Development Method), and combines training in the formalism with industry-strength tool support and examples derived from real industrial applications. The principles taught here also apply to many of the current generation of formal methods. This second edition has been updated to include advanced online tool support for formal modeling as well as up-to-date reports on real commercial applications in areas as diverse as business information systems and firmware design.

About the Authors

John Fitzgerald is a Reader in Computing Science at the University of Newcastle upon Tyne.

Peter Gorm Larsen is a Professor of Computer Technology and Embedded Systems at the Engineering College of Aarhus (IHA), Denmark. He also works as an independent consultant.

"About this title" may belong to another edition of this title.

Store Description

Labyrinth is an acclaimed independent bookstore serving the students and faculty of Princeton University as well as the town of Princeton and beyond. As the official bookstore for Princeton University, our independent store specializes in academic books for scholars, and we can always be relied upon to provide those books that form the backbone of current debates both inside and outside of the universities. We also carry books of broad and general interest: contemporary and classic literature, poetry, current events, history, philosophy, theology, cookbooks, comics, and books for children. We offer a large selection of constantly-changing inventory, daily sales and deep discounts on most books, used and antiquarian titles.

Visit Seller's Storefront

Seller's business information

Great Jones Books, Inc.
27 Route 31 South, Pennington, NJ, 08534, U.S.A.

Sale & Shipping Terms

Terms of Sale

Purchase will be shipped upon receipt of payment including any additional shipping costs. NJ residents add appropriate sales tax. If you are dissatisfied (Incorrect Item/Not as Described/Damaged) or if the order has not arrived by the latest estimated delivery date, you maybe be eligible for a refund within 30 days of the estimated delivery date. Please contact us for any other return inquiries, and we will respond within 2 business days.

Shipping Terms

Orders usually ship within 2 business days. Shipping costs are based on books weighing 2.2 lbs or less, or 1 kg. Heavy or oversized books may require additional shipping charges.

Domestic shipping: Under 2.2 lbs
Media Mail $4.00 per book + $1.00 for each additional book
Priority Mail $7.00 per book + $3.00 for each additional book

Standard Shipping orders will be delivered via UPS Ground and USPS Media Mail, typically 2-5 business days for in-stock items. In-stock items will generally ship by the next business day.

Please note: While the overwhelming majority of packages shipped via USPS Media Mail arrive within the time specified above, in rare cases shipments can take up to 3 to 5 weeks to arrive. Media Mail shipments to Alaska, Hawaii, Guam, Puerto Rico and APO/FPO addresses can take up 3 to 8 weeks to arrive.

Shipping rates within U.S.A.

Shipping rates within U.S.A.
Order quantity	4 to 8 business days	2 to 5 business days
First item	US$ 4.50	US$ 13.00

Delivery times are set by sellers and vary by carrier and location. Orders passing through Customs may face delays and buyers are responsible for any associated duties or fees. Sellers may contact you regarding additional charges to cover any increased costs to ship your items.