Exact Solutions of Relativistic Wave Equations
V. G. Bagrov, D. Gitman
₹4,517
Fm8501
A Verified Microprocessor
₹5,551
Free delivery. Nothing extra to pay at checkout.
- New copy. Each book is ordered new from our distributor, Atlantic Books, after you place your order.
- 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.
From the publisher
The FM 8501 microprocessor was invented as a generic microprocessor somewhat similar to a PDP-11. The principal idea of the FM 8501 effort was to see if it was possible to express the user-level specification and the design implementation using a formal logic, the Boyer-Moore logic; this approach permitted a complete mechanically checked proof that the FM 8501 implementation fully implemented its specification.
Description supplied by the publisher.
Book details
- ISBN-13
- 9783540579601
- ISBN-10
- 3540579605
- Author
- Warren A. Jr. Hunt
- Publisher
- Springer
- Condition
- New
Related books
Wechselstromtechnik
G. Roeßler
₹3,623
Digitally-Assisted Analog and RF CMOS Circuit Design for Software-Defined Radio
Kenichi Okada, Shouhei Kousai
₹4,686
Languages and Compilers for Parallel Computing
Chua-Huang Huang, Ponnuswamy Sadayappan, Utpal Banerjee
₹4,177
New Directions in Web Data Management 1
Athena Vakali, Lakhmi C. Jain
₹4,054
Anleitung Zur Durchführung Von Versuchen an Dampfmaschinen, Dampfkesseln, Dampfturbinen Und Dieselmaschinen
Franz Seufert
₹3,623
Chirurgie Der Abdominalen Und Thorakalen Aorta
R. I. Rückert, Wolfgang Hepp, Bernd Luther
₹4,237
Außergewöhnliche Druck- Und Temperatursteigerungen Bei Dieselmotoren
Richard Colell
₹3,508
Graph-Theoretic Concepts in Computer Science
Herbert Göttler, Hans-Jürgen Schneider
₹5,503
Prophylaxe Und Therapie Bakterieller Infektionen
F. W. Ahnefeld, C. Burri, W. Dick
₹3,508
Das Unternehmertum Und Die Öffentlichen Zustände in Deutschland
Paul Steller
₹5,814
Amerikanischer Talsperrenbau
Josef Fritsch
₹5,393