Rewriting and Typed Lambda Calculi
Gilles Dowek
₹3,959
Zeitverhalten Synchroner Schaltwerke
by Hans-Otto Leilich, Uwe Knaak
Springer · 1990
₹3,508
Free delivery. Nothing extra to pay at checkout.
- Delivery in 3–5 days to any serviceable pincode in India, with tracking.
- Cash on delivery. Pay when the parcel reaches you.
- 15-day returns.
- Express shipping. Same-day dispatch (Monday to Saturday), delivered all over India in 3–5 days.
Offer
Use code GIG9 at checkout and pay ₹3,192 for this book (save ₹316).
9% off every book, up to ₹500 off per order.
About this book
Zeitverhalten Synchroner Schaltwerke is written by Hans-Otto Leilich & Uwe Knaak. This edition is published by Springer (1990).
The book deals with Digital electronics, Logic design and Switching circuits.
Book details
- ISBN-13
- 9783540516804
- ISBN-10
- 3540516808
- Authors
- Hans-Otto Leilich, Uwe Knaak
- Publisher
- Springer
- Published
- 1990
- Pages
- 312
- Language
- English
- Condition
- New
- Subject
- Logic design
More in Logic design
Principles and Practice of Constraint Programming -- CP 2011
Jimmy Lee
₹5,467
Logics in Artificial Intelligence
Tomi Janhunen, Ilkka Niemelä
₹5,580
Logic-Based Program Synthesis and Transformation
Pierre Flener
₹5,546
Fundamental Approaches to Software Engineering
Dimitra Giannakopoulou, Fernando Orejas
₹5,627
Foundations of Software Science and Computational Structures
Luke Ong
₹5,803
Reliable Software Technologies – Ada-Europe 2014
Laurent George, Tullio Vardanega
₹4,077
Automated Technology for Verification and Analysis
Zhiming Liu
₹4,269
Computer Science Logic
Jerzy Marcinkowski
₹5,825
Model Checking Software
Sriram K. Rajamani
₹4,264
Functional and Logic Programming
Zhenjiang Hu
₹4,856
Formal Modeling
Gul Agha, Olivier Danvy, José Meseguer
₹5,627