Software Engineering 1
Dines Bjørner
₹5,159
Subject
Logic design books
271 new logic design titles, with the largest lists from Springer, Springer-Verlag Berlin and Heidelberg GmbH & Co. K and Springer-Verlag New York Inc. Prices from ₹1,490 to ₹13,872, with free delivery across India and cash on delivery.
Showing 217–240 of 271 books
Software-intensive Systems and New Computing Paradigms
Matthias H. Lzl
₹2,551
Spice
Ernst E. E. Hoefer, Horst Nielinger
₹3,508
Stacs 84
M. Fontet, K. Mehlhorn
₹3,274
Stacs 86
B. Monien, G. Vidal-Naquet
₹3,966
Stacs 91
Christian Choffrut, Matthias Jantzen
₹4,526
Stacs 92
Alain Finkel, Matthias Jantzen
₹4,505
Stacs 93
Patrice Enjalbert, Alain Finkel, Klaus W. Wagner
₹4,216
Substrate Noise Coupling in Mixed-Signal Asics
Stéphane Donnay, Georges Gielen
₹4,010
Synchronous Precharge Logic
Marek Smoszna
₹5,282
Tapsoft '87
Hartmut Ehrig, Robert Kowalski, Giorgio Levi
₹3,948
Tapsoft '89
Josep Diaz, Fernando Orejas
₹5,576
Tapsoft '89
Josep Diaz, Fernando Orejas
₹5,574
Testing
Leonardo Bottaci, Gordon Fraser
₹5,499
Tests and Proofs
Martina Seidl, Nikolai Tillmann
₹3,787
The Design of a Microprocessor
Wilhelm G. Spruth
₹3,913
The Parametric Lambda Calculus
Simona Ronchi Della Rocca, Luca Paolini
₹4,315
Theorem Proving in Higher Order Logics
Joe Hurd
₹4,776
Theorem Proving in Higher Order Logics
TPHOLs '98 (1998 Canberra, A.C.T.)
₹4,307
Theorem Proving in Higher Order Logics
TPHOLs 2007 (2007 Kaiserslautern, Germany)
₹4,259
Theoretical Aspects of Computer Software
Martin Abadi, Takayasu Ito
₹4,684
Theoretical Aspects of Computing -- ICTAC 2011
Antonio Cerone, Pekka Pihlajasaari
₹4,532
Theoretical Computer Science
Carlo Blundo, Cosimo Laneve
₹5,722
Theoretische Informatik
Klaus W. Wagner
₹2,155