Interactive Theorem Proving
Marko Van Eekelen, Herman Geuvers, Julien Schmaltz
₹5,593
Foundational and Practical Aspects of Resource Analysis
First International Workshop
by Marko Van Eekelen, Olha Shkaravska
Springer · 2010
₹5,465
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
Published by Springer in 2010, Foundational and Practical Aspects of Resource Analysis: First International Workshop by Marko Van Eekelen & Olha Shkaravska runs to 162 pages. It belongs to the LNCS sublibrary: SL 2-programming and software engineering series.
Topics covered include Development, Computational complexity, Congresses and Computer network resources.
Book details
- ISBN-13
- 9783642153303
- ISBN-10
- 3642153305
- Authors
- Marko Van Eekelen, Olha Shkaravska
- Publisher
- Springer
- Published
- 2010
- Series
- LNCS sublibrary: SL 2-programming and software engineering
- Pages
- 162
- Language
- English
- Condition
- New
- Subject
- Embedded computer systems
More by Marko Van Eekelen and related titles
Foundational and Practical Aspects of Resource Analysis
Marko Van Eekelen, Ugo Dal Lago
₹4,201
Embedded Systems Development
Alberto Sangiovanni-Vincentelli, Haibo Zeng, Marco Di Natale, Peter Marwedel
₹5,572
High Performance Embedded Computing Handbook
David R. Martinez, Robert A. Bond, M. Michael Vai
₹1,969
Custom Memory Management Methodology
Sven Wuytack, Francky Catthoor, G. E. Greef, Florin Banica, Lode Nachtergaele
₹11,560
High Performance Embedded Architectures and Compilers
HiPEAC 2010 (2010 Pisa, Italy)
₹1,548
Embedded Software
EMSOFT (Conference)
₹5,084
Analysis and Synthesis of Distributed Real-Time Embedded Systems
Paul Pop, Petru Eles, Zebo Peng
₹11,865
Tool-Based Requirement Traceability between Requirement and Design Artifacts
Bernhard Turban
₹7,730
Tcp/Ip Embedded Internet Applications
Edward Insam
₹2,233
Analysis and Design of Networks-on-Chip Under High Process Variation
Rabab Ezz-Eldin, Magdy Ali El-Moursy, Hesham F. A. Hamed
₹7,775
Embedded Systems Design with Platform FPGAs
Ron Sass, Andrew G. Schmidt
₹5,411