Theory and Practice of Model Transformations
Laurence Tratt, Martin Gogolla
₹5,602
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 241–264 of 271 books
Theory and Practice of Model Transformations
Jordi Cabot, Eelco Visser
₹5,553
Theory of Digital Automata
Valery Lahno, Mykola Karpinskyy, Bohdan Borowik, Oleksandr Petrov
₹8,178
Transactions on Aspect-Oriented Software Development VIII
Shmuel Katz, Mira Mezini, Christine Schwanninger
₹5,499
Transactions on Computational Science
Marina L. Gavrilova, C. J. Kenneth Tan, Himanshu Thapliyal, Nagarajan Ranganathan
₹4,222
Trends in Functional Programming
Rex Page, Zoltan Horvath, Viktoria Zsók
₹5,705
Typed Lambda Calculi and Applications
Marc Bezem, Jan F. Groote
₹5,663
Typed Lambda Calculi and Applications
Luke Ong
₹5,517
Typed Lambda Calculi and Applications
Masahito Hasegawa
₹3,615
Types for Proofs and Programs
Herman Geuvers, Freek Wiedijk
₹5,543
Types for Proofs and Programs
Stefano Berardi, Mario Coppo, Ferruccio Damiani
₹5,586
Types for Proofs and Programs
Eduardo Gimenez, Christine Paulin-Mohring
₹5,565
Types for Proofs and Programs
Thorsten Altenkirch, Wolfgang Naraschewski, Bernhard Reus
₹5,481
Types for Proofs and Programs
Paul Callaghan, Zhaohui Luo, James McKinna, Robert Pollack
₹4,286
Types for Proofs and Programs
Hutchison, David - undifferentiated
₹4,281
Types in Compilation
Robert Harper
₹5,562
Ultrascale Computing Systems
Jesús Carretero, Emmanuel Jeannot, Albert Y. Zomaya
₹12,132
Unifying Theories of Programming
Andrew Butterfield
₹5,525
Unifying Theories of Programming
Shengchao Qin
₹5,525
VDM '91. Formal Software Development Methods. 4th International Symposium of VDM Europe, Noordwijker
Soren Prehn, Hans Toetenel
₹5,598
VDM '91. Formal Software Development Methods. 4th International Symposium of VDM Europe, Noordwijkerhout, the Netherlands, October 21-25, 1991. Procee
Soren Prehn, Hans Toetenel
₹5,383
Verification, Induction, Termination Analysis
Simon Siegler, Nathan Wasser
₹5,461
Verification, Model Checking, and Abstract Interpretation
Lenore D. Zuck, Paul D. Attie, Agostino Cortesi
₹5,662
Verification, Model Checking, and Abstract Interpretation
Agostino Cortesi
₹5,666