Convergence and Hybrid Information Technology
Geuk Lee, Daniel Howard, Dominik Ślęzak
₹4,794
Specifying Software
A Hands-On Introduction
₹5,318
Free delivery. Nothing extra to pay at checkout.
- New copy. Each book is ordered new from our distributor, Atlantic Books, after you place your order.
- Delivery in 3–7 days to any serviceable pincode in India, with tracking.
- Cash on delivery. Pay when the parcel reaches you.
- 15-day returns. See what qualifies.
From the publisher
This innovative volume provides a hands-on introduction to techniques for specifying the behavior of software components. A text for a second-year undergraduate course in Computer Science and Computer Engineering programs, it is also suitable for self-study.
Description supplied by the publisher.
Book details
- ISBN-13
- 9780521004015
- ISBN-10
- 0521004012
- Author
- R. D. Tennent
- Publisher
- Cambridge University Press
- Condition
- New
- Subject
- Computers & Internet
More in Computers & Internet
Standardanwendungssoftware ALS Mittler Zwischen Theorie Und PRAXIS
Ottmar Pfänder
₹3,508
Intelligent Computer Mathematics
Johan Jeuring, John Campbell, Jacques Carette
₹5,618
An Introduction to String Diagrams for Computer Scientists
Robin Piedeleu, Fabio Zanasi
₹2,047
Information Technology and Ethics of Globalization
Robert a. Schultz
₹4,555
Digital Sound Studies
Mary Caton Lingold, Darren Mueller, Whitney Trettien
₹4,851
Computer Aided Verification
Alan J. Hu, Moshe y. Vardi
₹5,376
Project Management for Modern Information Systems
Dan Brandon
₹4,509
Java Software Solutions
John Lewis, William Loftus
₹5,448
What Is Digital Sociology?
Neil Selwyn
₹1,576
Business Intelligence in the Digital Economy
Mahesh Raisinghani
₹2,248
Computer Aided Verification
Pierre Wolper
₹5,606