Saxo Access
Indkøbskurv

UMC

Vis søgefilter

Vis mig kun

Methodik der Programmierung in Pascal

Methodik der Programmierung in Pascal

Marty, Rudolf

322,59 DKK

Fundamental Approaches to Software Engineering

Fundamental Approaches to Software Engineering

Lopes, Antonia

436,85 DKK

Theoretical Aspects of Computer Software

Theoretical Aspects of Computer Software

Pierce, Benjamin C.

436,85 DKK

Abstract Computing Machines

Abstract Computing Machines

Kluge, Werner

692,63 DKK

Assembler III

Assembler III

Umhauer, Gerd F.

322,59 DKK

Java als erste Programmiersprache

Java als erste Programmiersprache

Heinisch, Cornelia

253,01 DKK

PASCAL for Programmers

PASCAL for Programmers

Sadler, C.

436,85 DKK

Formal Engineering for Industrial Software Development

Formal Engineering for Industrial Software Development

Liu, Shaoying

436,85 DKK

Assembler I

Assembler I

Umhauer, Gerd F.

322,59 DKK

Assembler II

Assembler II

Umhauer, Gerd F.

322,59 DKK

Types for Proofs and Programs

Types for Proofs and Programs

McBride, Conor

436,85 DKK

Hardware and Software: Verification and Testing

Hardware and Software: Verification and Testing

Vos, Tanja

403,64 DKK

Java-Intensivkurs

Java-Intensivkurs

Block, Marco

192,41 DKK

Assembler II

Assembler II

Umhauer, Gerd F.

295,53 DKK

Visual Basic für technische Anwendungen

Visual Basic für technische Anwendungen

Radel, Jurgen

322,59 DKK

Programmierumgebungen: Entwicklungswerkzeuge und Programmiersprachen

Programmierumgebungen: Entwicklungswerkzeuge und Programmiersprachen

Remmele, W.

343,95 DKK

Formal Methods and Software Engineering

Formal Methods and Software Engineering

Woodcock, Jim

875,33 DKK

Compiler Construction

Compiler Construction

Odersky, Martin

436,85 DKK

Theorem Proving in Higher Order Logics

Theorem Proving in Higher Order Logics

Harrison, John

436,85 DKK

Grundkurs Algorithmen und Datenstrukturen

Grundkurs Algorithmen und Datenstrukturen

Solymosi, Andreas

322,59 DKK

Verification of Object-Oriented Software. The KeY Approach

Verification of Object-Oriented Software. The KeY Approach

Schmitt, Peter H.

875,33 DKK

Fundamental Approaches to Software Engineering

Fundamental Approaches to Software Engineering

Finance, Jean-Pierre

436,85 DKK

Modeling and Using Context

Modeling and Using Context

Castellani, Francesca

436,85 DKK

Fundamental Approaches to Software Engineering

Fundamental Approaches to Software Engineering

Weber, Herbert

436,85 DKK

Types for Proofs and Programs

Types for Proofs and Programs

Damiani, Ferruccio

436,85 DKK

Formal Methods for Software Architectures

Formal Methods for Software Architectures

Inverardi, Paola

436,85 DKK

Abstract State Machines 2003: Advances in Theory and Practice

Abstract State Machines 2003: Advances in Theory and Practice

Riccobene, Elvinia

436,85 DKK

Assembler III

Assembler III

Umhauer, Gerd F.

322,59 DKK

FM'99 - Formal Methods

FM'99 - Formal Methods

Davies, Jim

875,33 DKK

Interactive Theorem Proving

Interactive Theorem Proving

Mahboubi, Assia

802,25 DKK