Transactions on Computational Science
Marina L. Gavrilova, C. J. Kenneth Tan, Himanshu Thapliyal, Nagarajan Ranganathan
₹4,222
Models in Software Engineering
Workshops and Symposia at Models 2009
Springer · 2010
₹5,573
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
Models in Software Engineering: Workshops and Symposia at Models 2009 by Sudipto Ghosh is a book published by Springer in 2010.
Topics covered include Logic design, Computer simulation, Information Systems and Computer science.
Book details
- ISBN-13
- 9783642122606
- ISBN-10
- 3642122604
- Author
- Sudipto Ghosh
- Publisher
- Springer
- Published
- 2010
- Language
- English
- Condition
- New
- Subject
- Logic design
More in Logic design
New Modeling Concepts for Today's Software Processes
Jürgen Münch, Ye Yang, Wilhelm Schäfer
₹5,584
Zeitverhalten Synchroner Schaltwerke
Hans-Otto Leilich, Uwe Knaak
₹3,508
Theorem Proving in Higher Order Logics
TPHOLs '98 (1998 Canberra, A.C.T.)
₹4,307
Interactive Theorem Proving
Marko Van Eekelen, Herman Geuvers, Julien Schmaltz
₹5,593
Rechnerarchitektur
Wolfgang K. Giloi
₹3,141
Rewriting Logic and Its Applications
Santiago Escobar
₹3,763
Rewriting Logic and Its Applications
Peter Csaba Ölveczky
₹5,520
Theory of Digital Automata
Valery Lahno, Mykola Karpinskyy, Bohdan Borowik, Oleksandr Petrov
₹8,178
Logics in AI
David Pearce, Gerd Wagner
₹5,584
Foundations of Software Technology and Theoretical Computer Science
S. N. Maheshwari
₹5,642
NASA Formal Methods
Julia M. Badger, Kristin Yvonne Rozier
₹5,136