Engineering a Compiler
Linda Torczon, Keith Cooper
₹8,569
Formal Methods
Foundations and Applications
by Simone Cavalheiro, José Fiadeiro
Springer International Publishing AG · 2017 · Paperback
₹5,095
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: Foundations and Applications by Simone Cavalheiro & José Fiadeiro is a 305-page paperback edition published by Springer International Publishing AG in 2017.
Its main subjects are Computer science.
Subjects
Book details
- ISBN-13
- 9783319708478
- ISBN-10
- 3319708473
- Authors
- Simone Cavalheiro, José Fiadeiro
- Publisher
- Springer International Publishing AG
- Published
- 2017
- Edition
- 1st ed. 2017
- Binding
- Paperback
- Pages
- 305
- Language
- English
- Condition
- New
- Subject
- Computers & Internet
More in Computers & Internet
Molecular Networking Statistical Mechanics in the Age of Ai and Machine Learning
Caroline Desgranges, Jerome Delhommelle
₹4,440
Introductory Lectures on Convex Optimization
Yurii Nesterov
₹3,854
Optimization with PDE Constraints
Ronald Hoppe
₹3,750
Whole-body Control for Multi-contact Balancing of Humanoid Robots
Bernd Henze
₹9,223
Machine Learning with Python
Amin Zollanvari
₹6,548
Microsoft Azure AI Fundamentals Certification Companion
Krunal S. Trivedi
₹3,553
French Muslims in Perspective
Joseph Downing
₹4,891
Building Digital Culture
Daniel Rowles
₹3,934
Game Boy Coding Adventure
Maximilien Dagois
₹3,467
Hands-On Guide to Agileops
Navin Sabharwal, Raminder Rathore, Udita Agrawal
₹4,889
Mobile Edge Caching in Heterogeneous Vehicular Networks
Huaqing Wu, Xuemin Shen, Feng Lyu
₹4,705