Saxo Access
Indkøbskurv

UMC

Vis søgefilter

Vis mig kun

Model Checking Software

Model Checking Software

Rajamani, Sriram K.

436,85 DKK

Leveraging Applications of Formal Methods

Leveraging Applications of Formal Methods

Steffen, Bernhard

436,85 DKK

Foundation of Software Science and Computation Structures

Foundation of Software Science and Computation Structures

Tiuryn, Jerzy

436,85 DKK

Software and Data Technologies

Software and Data Technologies

Sinderen, Marten van

436,85 DKK

Foundations of Software Science and Computational Structures

Foundations of Software Science and Computational Structures

Amadio, Roberto

436,85 DKK

Construction and Evolution of Code Generators

Construction and Evolution of Code Generators

Jorges, Sven

436,85 DKK

Model Checking Software

Model Checking Software

Ramakrishnan, C. R.

436,85 DKK

Algebraic and Coalgebraic Methods in the Mathematics of Program Construction

Algebraic and Coalgebraic Methods in the Mathematics of Program Construction

Gibbons, Jeremy

436,85 DKK

Profikurs ABAP®

Profikurs ABAP®

Theobald, Patrick

322,59 DKK

Model Checking Software

Model Checking Software

Musuvathi, Madanlal

436,85 DKK

Conceptual Modelling and Its Theoretical Foundations

Conceptual Modelling and Its Theoretical Foundations

Schewe, Klaus-Dieter

436,85 DKK

Foundations of Software Science and Computational Structures

Foundations of Software Science and Computational Structures

Hofmann, Martin

436,85 DKK

Foundations of Software Science and Computation Structures

Foundations of Software Science and Computation Structures

Engberg, Uffe

436,85 DKK

C als erste Programmiersprache

C als erste Programmiersprache

Dausmann, Manfred

322,59 DKK

New Directions in Logic, Language, and Computation

New Directions in Logic, Language, and Computation

Slavkovik, Marija

403,64 DKK

Theoretical Aspects of Computing - ICTAC 2007

Theoretical Aspects of Computing - ICTAC 2007

Woodcock, Jones

436,85 DKK

Software-Engineering

Software-Engineering

Hering, Ekbert

322,59 DKK

From Programs to Systems - The Systems Perspective in Computing

From Programs to Systems - The Systems Perspective in Computing

Legay, Axel

403,64 DKK

Automated Reasoning with Analytic Tableaux and Related Methods

Automated Reasoning with Analytic Tableaux and Related Methods

Dyckhoff, Roy

436,85 DKK

Formal Methods and Software Engineering

Formal Methods and Software Engineering

He, Jifeng

875,33 DKK

Rewriting Techniques and Applications

Rewriting Techniques and Applications

Bachmair, Leo

436,85 DKK

Foundations of Software Science and Computational Structures

Foundations of Software Science and Computational Structures

Alfaro, Luca de

436,85 DKK

Compiler Construction

Compiler Construction

Hedin, Gorel

436,85 DKK

Fundamental Approaches to Software Engineering

Fundamental Approaches to Software Engineering

Rensink, Arend

436,85 DKK

Practical Aspects of Declarative Languages

Practical Aspects of Declarative Languages

Gupta, Gopal

436,85 DKK

Formal Techniques in Real-Time and Fault-Tolerant Systems

Formal Techniques in Real-Time and Fault-Tolerant Systems

Joseph, Mathai

436,85 DKK

Types for Proofs and Programs

Types for Proofs and Programs

Werner, Benjamin

436,85 DKK

C als erste Programmiersprache

C als erste Programmiersprache

Wiese, Herbert

322,59 DKK

Controlled Natural Language

Controlled Natural Language

Fuchs, Norbert E

436,85 DKK

Variations on Constants

Variations on Constants

Muller-Olm, Markus

436,85 DKK