Saxo Access
Indkøbskurv

UMC

Vis søgefilter

Vis mig kun

Model-Driven Engineering and Software Development

Model-Driven Engineering and Software Development

Desfray, Philippe

436,85 DKK

String Analysis for Software Verification and Security

String Analysis for Software Verification and Security

Aydin, Abdulbaki

509,93 DKK

Concrete Semantics

Concrete Semantics

Klein, Gerwin

436,85 DKK

Software Engineering: Specification, Implementation, Verification

Software Engineering: Specification, Implementation, Verification

Alagic, Suad

583,01 DKK

Software Engineering: Specification, Implementation, Verification

Software Engineering: Specification, Implementation, Verification

Alagic, Suad

583,01 DKK

Programming Languages and Systems

Programming Languages and Systems

Park, Sungwoo

436,85 DKK

Critical Systems: Formal Methods and Automated Verification

Critical Systems: Formal Methods and Automated Verification

Knapp, Alexander

436,85 DKK

Static Analysis

Static Analysis

Ranzato, Francesco

436,85 DKK

Programming Languages

Programming Languages

Swierstra, S. Doaitse

329,95 DKK

Model-Driven Engineering and Software Development

Model-Driven Engineering and Software Development

Desfray, Philippe

436,85 DKK

PRIMA 2016: Principles and Practice of Multi-Agent Systems

PRIMA 2016: Principles and Practice of Multi-Agent Systems

Torroni, Paolo

436,85 DKK

Numeric Computation and Statistical Data Analysis on the Java Platform

Numeric Computation and Statistical Data Analysis on the Java Platform

Chekanov, Sergei V.

875,33 DKK

Explainable and Transparent AI and Multi-Agent Systems

Explainable and Transparent AI and Multi-Agent Systems

Framling, Kary

436,85 DKK

Software Engineering and Formal Methods

Software Engineering and Formal Methods

Idani, Akram

436,85 DKK

Software Engineering and Formal Methods

Software Engineering and Formal Methods

Nunez, Manuel

436,85 DKK

Explainable and Transparent AI and Multi-Agent Systems

Explainable and Transparent AI and Multi-Agent Systems

Framling, Kary

436,85 DKK

Automated Reasoning

Automated Reasoning

Tiwari, Ashish

656,09 DKK

Introduction to Compiler Design

Introduction to Compiler Design

Mogensen, Torben Ægidius

337,32 DKK

Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques

Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques

Steffen, Bernhard

875,33 DKK

Certified Programs and Proofs

Certified Programs and Proofs

Norrish, Michael

436,85 DKK

Programming Languages and Systems

Programming Languages and Systems

Garrigue, Jacques

436,85 DKK

Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications

Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications

Steffen, Bernhard

436,85 DKK

Critical Systems: Formal Methods and Automated Verification

Critical Systems: Formal Methods and Automated Verification

Cavalcanti, Ana

436,85 DKK

Formal Methods for Executable Software Models

Formal Methods for Executable Software Models

Schaefer, Ina

436,85 DKK

Integrated Formal Methods

Integrated Formal Methods

Sekerinski, Emil

436,85 DKK

Theoretical Aspects of Computing - ICTAC 2017

Theoretical Aspects of Computing - ICTAC 2017

Kapur, Deepak

436,85 DKK

Structured Object-Oriented Formal Language and Method

Structured Object-Oriented Formal Language and Method

Duan, Zhenhua

329,95 DKK

Structured Object-Oriented Formal Language and Method

Structured Object-Oriented Formal Language and Method

Duan, Zhenhua

436,85 DKK

Formal Techniques for Safety-Critical Systems

Formal Techniques for Safety-Critical Systems

Olveczky, Peter Csaba

436,85 DKK

Present and Ulterior Software Engineering

Present and Ulterior Software Engineering

Meyer, Bertrand

875,33 DKK