-
All About Maude - A High-Performance Logical Framework
EbookSofort lieferbarMaude is a language and system based on rewriti...
-
Foundations of Security, Protocols, and Equational Reasoning
EbookSofort lieferbarCatherine A. Meadows has been a pioneer in deve...
-
Algebraic Methodology and Software Technology
EbookSofort lieferbarThis book constitutes the refereed proceedings ...
-
Specification, Algebra, and Software
EbookSofort lieferbarThis Festschrift volume, published in honor of ...
-
Algebra, Meaning, and Computation
EbookSofort lieferbarThis volume - honoring the computer science pio...
-
Concurrency, Graphs and Models
EbookSofort lieferbarThis Festschrift volume, pubished in honor of U...
-
Formal Modeling: Actors; Open Systems, Biological Systems
EbookSofort lieferbarThis Festschrift volume, published in honor of ...
-
Arithmetic and Algebraic Circuits
EbookSofort lieferbarThis book presents a complete and accurate stud...
-
Protocols, Strands, and Logic
EbookSofort lieferbarThis Festschrift was published in honor of Josh...
-
Algebraic Methodology and Software Technology
TaschenbuchPrint on DemandThis book constitutes the refereed proceedings ...
-
All About Maude - A High-Performance Logical Framework
TaschenbuchPrint on DemandThis book gives a comprehensive account of Maud...
-
Concurrency, Graphs and Models
TaschenbuchPrint on DemandThis volume contains the 43 papers written by c...
Folgen Sie uns auf:
