Saxo Access
Indkøbskurv

UMC

Vis søgefilter

Vis mig kun

Correct System Design

Correct System Design

Steffen, Bernhard

436,85 DKK

Integrated Formal Methods

Integrated Formal Methods

Petre, Luigia

436,85 DKK

Formal Modeling and Analysis of Timed Systems

Formal Modeling and Analysis of Timed Systems

Yi, Wang

436,85 DKK

Software Architecture

Software Architecture

Oquendo, Flavio

436,85 DKK

Foundations of Software Science and Computation Structures

Foundations of Software Science and Computation Structures

Pfenning, Frank

436,85 DKK

Compiler Construction

Compiler Construction

Horspool, R. Niegel

436,85 DKK

Foundations of Software Science and Computational Structures

Foundations of Software Science and Computational Structures

Birkedal, Lars

436,85 DKK

FST TCS 2001: Foundations of Software Technology and Theoretical Computer Science

FST TCS 2001: Foundations of Software Technology and Theoretical Computer Science

Vinay, V.

436,85 DKK

Java-Intensivkurs

Java-Intensivkurs

Block, Marco

192,41 DKK

Mathematics of Program Construction

Mathematics of Program Construction

Shankland, Carron

436,85 DKK

Hardware and Software: Verification and Testing

Hardware and Software: Verification and Testing

Hu, Alan J.

436,85 DKK

CASL Reference Manual

CASL Reference Manual

Mosses, Peter D.

875,33 DKK

Formal Methods for Eternal Networked Software Systems

Formal Methods for Eternal Networked Software Systems

Issarny, Valerie

436,85 DKK

Fundamental Approaches to Software Engineering

Fundamental Approaches to Software Engineering

Hussmann, Heinrich

436,85 DKK

Model Checking Software

Model Checking Software

Valmari, Antti

436,85 DKK

Rewriting Techniques and Applications

Rewriting Techniques and Applications

Middeldorp, Aart

436,85 DKK

Optimal Interprocedural Program Optimization

Optimal Interprocedural Program Optimization

Knoop, Jens

436,85 DKK

Functional and Constraint Logic Programming

Functional and Constraint Logic Programming

Escobar, Santiago

436,85 DKK

Specification, Algebra, and Software

Specification, Algebra, and Software

Ogata, Kazuhiro

436,85 DKK

Grundkurs Algorithmen und Datenstrukturen in JAVA

Grundkurs Algorithmen und Datenstrukturen in JAVA

Grude, Ulrich

322,59 DKK

PASCAL systematisch

PASCAL systematisch

Remmele, W.

343,95 DKK

Formal Syntax and Semantics of Java

Formal Syntax and Semantics of Java

Alves-Foss, Jim

436,85 DKK

Formal Methods and Software Engineering

Formal Methods and Software Engineering

Miao, Huaikou

875,33 DKK

Types for Proofs and Programs

Types for Proofs and Programs

Reus, Bernhard

436,85 DKK

CONCUR '94: Concurrency Theory

CONCUR '94: Concurrency Theory

Parrow, Joachim

436,85 DKK

Hardware and Software: Verification and Testing

Hardware and Software: Verification and Testing

Raz, Orna

436,85 DKK

Model Checking Software

Model Checking Software

Pasareanu, Corina S

436,85 DKK

Generic Model Management

Generic Model Management

Melnik, Sergey

436,85 DKK

Theoretical Aspects of Computing - ICTAC 2012

Theoretical Aspects of Computing - ICTAC 2012

D'Souza, Meenakshi

403,64 DKK

Certified Programs and Proofs

Certified Programs and Proofs

Shao, Zhong

436,85 DKK