
Deductive and Declarative Programming by P. Padawitz – Formal Verification
P. Padawitz, Peter Padawitz, C. J. Van Rijsbergen
₹5,595

22nd International Workshop
by Fabrizio D'Amore, Paolo Giulio Franciosa, Alberto Marchetti-Spaccamela
Springer · 1997 · Paperback
Free delivery. Nothing extra to pay at checkout.
Graph-Theoretic Concepts in Computer Science: 22nd International Workshop is written by Fabrizio D'Amore, Paolo Giulio Franciosa & others. This paperback edition from Springer (1997) has 410 pages.
Its main subjects are Graph theory, Computer science, Applied mathematics and Mathematical theory of computation.