Applied Parallel Computing
Jack Dongarra, Kaj Madsen, Jerzy Wasniewski
₹4,623
Ifm’99
Proceedings of the 1st International Conference on Integrated Formal
by K Araki
Springer London Ltd · 1999 · Paperback
₹7,741
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
Ifm’99: Proceedings of the 1st International Conference on Integrated Formal by K. Araki is a 477-page paperback edition published by Springer London Ltd in 1999.
Its main subjects are Computer science, Formal methods (Computer science), Congresses and Mathematical theory of computation.
Book details
- ISBN-13
- 9781852331078
- ISBN-10
- 1852331070
- Author
- K Araki
- Publisher
- Springer London Ltd
- Published
- 1999
- Edition
- Softcover reprint of the original 1st ed. 1999
- Binding
- Paperback
- Pages
- 477
- Language
- English
- Condition
- New
More in Mathematical theory of computation
Mechanical Theorem Proving in Geometries
Wen-Tsun Wu
₹2,664
Recent Trends in Data Type Specification
Egidio Astesiano, Gianna Reggio
₹5,644
Algorithmic Learning Theory - Alt '92
Shuji Doshita, Koichi Furukawa, Klaus P. Jantke
₹5,510
Numerical Recipes 3rd Edition
Brian P. Flannery, William T. Vetterling, Saul A. Teukolsky, William H. Press
₹7,196
Gröbner Deformations of Hypergeometric Differential Equations
Mutsumi Saito, Bernd Sturmfels, Nobuki Takayama
₹900
Fundamentals of Computation Theory
Gabriel Ciobanu, Gheorghe Paun
₹4,708
Programming Languages
Herbert Kuchen, S. Doaitse Swierstra
₹5,624
Advances in Cryptology - Asiacrypt '96
Kwangjo Kim, Tsutomu Matsumoto
₹5,581
Integrated Formal Methods
Wolfgang Grieskamp, Thomas Santen, Bill Stoddart
₹5,756
Applications of Process Algebra
J. C. M. Baeten
₹2,911
Data Refinement
W. Deroever, W. -P De Roever, Kai Englehardt
₹5,101