Mathematical theory of computation
Panangaden Prakash:
Labelled Markov Processes
Imperial College Press (United Kingdom), 2009
Hardback, 250 pages
Edmonds Jeff:
How To Think About Lgorithms
Cambridge University Press (United Kingdom), 2008
Paperback, 472 pages
Shallit Jeffrey:
A Second Course In Formal Languages And Automata Theory
Cambridge University Press (United Kingdom), 2008
Hardback, 252 pages
Spivey J.M.:
Understanding Z
A Specification Language And Its Formal Semantics
Cambridge University Press (United Kingdom), 2008
Paperback, 140 pages
Algebraic Specification Of Communication Protocols
Editor: Sjouke Mauw
Cambridge University Press (United Kingdom), 2008
Paperback, 212 pages
Edmonds Jeff:
How To Think About Algorithms
Loop Invariants And Recursion
Cambridge University Press (United Kingdom), 2008
Hardback, 472 pages
Nakahara Mikio, Salomaa M.:
Quantum Computing
From Linear Algebra To Physical Realizations
Taylor & Francis Ltd (United Kingdom), 2008
Hardback, 440 pages
Smith James:
Foundations Of Web Programming
An Open Source, Cross-Platform, Formal Treatment
South London Publishing (United Kingdom), 2008
Hardback, 224 pages








