Computer Performance Engineering
Alessandro Aldini, Marco Bernardo, Luciano Bononi
₹5,508
Tools and Algorithms for the Construction and Analysis of Systems
18th International Conference
by Cormac Flanagan, Barbara König
Springer · 2012
₹5,678
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
Tools and Algorithms for the Construction and Analysis of Systems: 18th International Conference by Cormac Flanagan & Barbara König is a book published by Springer in 2012.
Its main subjects are System design, System analysis and Algorithms.
Book details
- ISBN-13
- 9783642287558
- ISBN-10
- 3642287557
- Authors
- Cormac Flanagan, Barbara König
- Publisher
- Springer
- Published
- 2012
- Language
- English
- Condition
- New
- Subject
- System design
More in System design
Adoption-centric Usability Engineering
Eduard Metzker, Ahmed Seffah
₹3,666
Software Security
Gary McGraw
₹5,256
System Synthesis with VHDL
Petru Eles, Krzysztof Kuchcinski, Zebo Peng
₹11,569
The Correctness-by-Construction Approach to Programming
Bruce W. Watson, Derrick G. Kourie
₹7,729
Model-Implementation Fidelity in Cyber Physical System Design
Anca Molnos, Pranavananda Swami
₹7,773
Advanced Principles for Improving Database Design, Systems Modeling, and Software Development
Keng Siau, John Erickson
₹5,185
Tools and Algorithms for the Construction and Analysis of Systems
Joost-Pieter Katoen, Perdita Stevens
₹5,685
System Design with Systemc
Thorsten Grötker
₹4,536
People and Computers (British Computer Society Conference)
Gilbert Cockton, Stephen Draper, George R. S. Weir
₹3,548
Arithmetic Optimization Techniques for Hardware and Software Design
Ryan Kastner, Anup Hosangadi, Farzan Fallah
₹4,933
Leveraging Applications of Formal Methods, Verification and Validation
Tiziana Margaria, Bernhard Steffen
₹5,480