Information Systems Development and Data Modeling
Rudy A. Hirschheim, Heinz K. Klein, Kalle Lyytinen
₹5,199
Formal Methods in Computer Science
by William Tepfenhart, Jiacun Wang
Chapman & Hall · 2019
₹15,765
Free delivery. Nothing extra to pay at checkout.
- 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.
About this book
Formal Methods in Computer Science by William Tepfenhart & Jiacun Wang is a 294-page book published by Chapman & Hall in 2019.
Its main subjects are Computer science and System design.
Subjects
Book details
- ISBN-13
- 9780367225704
- ISBN-10
- 0367225700
- Authors
- William Tepfenhart, Jiacun Wang
- Publisher
- Chapman & Hall
- Published
- 2019
- Edition
- 1
- Pages
- 294
- Language
- English
- Condition
- New
- Subject
- System design
More in System design
Advances in Affective and Pleasurable Design
WonJoon Chung, Cliff Sungsoo Shin
₹15,379
Theory and Applications of Formal Argumentation
Elizabeth Black, Sanjay Modgil, Nir Oren
₹3,767
Theory and Applications of Formal Argumentation
Sanjay Modgil
₹5,754
COOP 2014 - Proceedings of the 11th International Conference on the Design of Cooperative Systems, 27-30 May 2014, Nice
Chiara Rossitto, Luigina Ciolfi, David Martin, Bernard Conein
₹12,058
Practical UML Statecharts in C/C++
Miro Samek
₹3,015
Modeling of Dynamic Object Systems
Ralf Jungclaus
₹3,508
Object Oriented Computer Systems Engineering
Colin Theaker, David Evans, Peter Green, Derrick Morris
₹3,048
Operating System Design
Douglas Comer
₹4,001
Introduction to Systems Analysis & Design
Lonnie Bentley, Jeffrey Whitten
₹3,731
Formal Methods and Models for System Design
Rajesh Gupta, Paul Le Guernic, Jean-Pierre Talpin, Sandeep Kumar Shukla
₹12,319
Tools and Algorithms for the Construction and Analysis of Systems
Hutchison, David - undifferentiated
₹3,373