Domains And Lambda Calculi
By: Roberto M. Amadio, Pierre-Louis Curien
Date: Nov 14, 2023 Edition: 1st EditionISBN: 978-0521062923
Hybrid Graph Theory And Network Analysis
By: Ladislav Novak, Alan Gibbons
Date: Nov 14, 2023 Edition: 1st EditionISBN: 978-0521106597
Modal Logic
By: Patrick Blackburn, Maarten De Rijke, Yde Venema
Date: Nov 14, 2023 Edition: 1st EditionISBN: 978-0521527149
Algorithmic Information Theory
By: Gregory. J. Chaitin
Date: Nov 14, 2023 Edition: 1st EditionISBN: 0521616042, 978-0521616041
Applications Of Process Algebra
By: J. C. M. Baeten
Date: Nov 14, 2023 Edition: 1st EditionISBN: 0521607507, 978-0521607506
Rippling Meta Level Guidance For Mathematical...
By: Alan Bundy, David Basin, Dieter Hutter, Andrew Ireland
Date: Nov 14, 2023 Edition: 1st EditionISBN: 052183449X, 978-0521834490
Algebraic Specification Of Communication Protocols
By: S. Mauw (Editor), G. J. Veltink
Date: Nov 14, 2023 Edition: 1st EditionISBN: 0521088127, 978-0521088121
Data Refinement Model Oriented Proof Methods And...
By: Willem-Paul De Roever, Kai Engelhardt
Date: Nov 14, 2023 Edition: 1st EditionISBN: 978-0521103503
Higher Order Logic And Hardware Verification
By: T. F. Melham
Date: Nov 14, 2023 Edition: 1st EditionISBN: 0521115329, 978-0521115322
Process Algebra Equational Theories Of...
By: J. C. M. Baeten, T. Basten, M. A. Reniers
Date: Nov 14, 2023 Edition: 1st EditionISBN: 978-0521820493
Advanced Topics In Bisimulation And Coinduction
By: Davide Sangiorgi, Jan Rutten
Date: Nov 14, 2023 Edition: 1st EditionISBN: 1107004977, 978-1107004979
Nominal Sets Names And Symmetry In Computer...
By: Andrew M. Pitts
Date: Nov 14, 2023 Edition: 1st EditionISBN: 1107017785, 978-1107017788
Temporal Logics In Computer Science Finite State...
By: Stéphane Demri, Valentin Goranko, Martin Lange
Date: Nov 14, 2023 Edition: 1st EditionISBN: 1107028361, 978-1107028364
Introduction To Coalgebra Towards Mathematics Of...
By: Bart Jacobs
Date: Nov 14, 2023 Edition: 1st EditionISBN: 1107177898, 978-1107177895
Finite State Techniques Automata Transducers And...
By: Stoyan Mihov, Klaus U. Schulz
Date: Nov 14, 2023 Edition: 1st EditionISBN: 1108485413, 978-1108485418
Free Choice Petri Nets
By: Jorg Desel, Javier Esparza
Date: Nov 14, 2023 Edition: 1st EditionISBN: 0521019451, 978-0521019453
Updating Logical Databases
By: Marianne Winslett
Date: Nov 14, 2023 Edition: 1st EditionISBN: 0521619726, 978-0521619721
Two Level Functional Languages
By: Flemming Nielson, Hanne Riis Nielson
Date: Nov 14, 2023 Edition: 1st EditionISBN: 0521018471, 978-0521018470
Logic And Computation Interactive Proof With...
By: Lawrence C. Paulson
Date: Nov 14, 2023 Edition: 1st EditionISBN: 0521395607, 978-0521395601
Formal Semantics And Pragmatics For Natural...
By: James Clifford
Date: Nov 14, 2023 Edition: 1st EditionISBN: 0521602742, 978-0521602747
Theoretical Foundations Of VLSI Design Cambridge...
By: K. McEvoy\, J. V. Tucker
Date: Nov 14, 2023 Edition: 1st EditionISBN: 052154565X, 978-0521545655
Design Theory And Computer Science Cambridge...
By: Subrata Dasgupta
Date: Nov 14, 2023 Edition: 1st EditionISBN: 0521390214, 978-0521390217
A Unifying Framework For Structured Analysis And...
By: T. H. Tse
Date: Nov 14, 2023 Edition: 1st EditionISBN: 0521117879, 978-0521117876
Nets Terms And Formulas Cambridge Tracts In...
By: E. -R. Olderog
Date: Nov 14, 2023 Edition: 1st EditionISBN: 0521018455, 978-0521018456
Belief Revision Cambridge Tracts In Theoretical...
By: Peter G¿rdenfors
Date: Nov 14, 2023 Edition: 1st EditionISBN: 0521545641, 978-0521545648
Programs Recursion And Unbounded Choice Cambridge...
By: Wim H. Hesselink
Date: Nov 14, 2023 Edition: 1st EditionISBN: 0521018293, 978-0521018296
The Logic Of Typed Feature Structures Cambridge...
By: Robert L. Carpenter
Date: Nov 14, 2023 Edition: 1st EditionISBN: 0521022541, 978-0521022545
Predicate Transformer Semantics Cambridge Tracts...
By: Ernest. G. Manes
Date: Nov 14, 2023 Edition: 1st EditionISBN: 0521616107, 978-0521616102
Action Semantics Cambridge Tracts In Theoretical...
By: Peter D. Mosses
Date: Nov 14, 2023 Edition: 1st EditionISBN: 0521619335, 978-0521619332
Formal Specification And Design Cambridge Tracts...
By: L. M. G. Feijs, H. B. M. Jonkers
Date: Nov 14, 2023 Edition: 1st EditionISBN: 0521435927, 978-0521435925
