Refinement Types

Wo zu kaufen (3) Eigenschaften
Gesponsert
Refinement Types: A Tutorial (Foundations and Trends(r) in Programming Languages)
Medimops DE
107.90 EUR
Preis aktualisiert am: 02-09-2025 12:21:33
Siehe Produktangebot
Gesponsert
Refinement Types
averdo DE
112.62 EUR
Preis aktualisiert am: 21-11-2024 09:50:27
Siehe Produktangebot
Gesponsert
Refinement Types
Hugendubel
117.99 EUR
Preis aktualisiert am: 28-08-2024 20:09:25
Siehe Produktangebot

Allgemein

Marke
Ranjit Jhala

Eigenschaften

Ähnliche Produkte

Program Development by Refinement: Case Studies Using The B Method (Formal Approaches to Computing and Information Technology (FACIT))
Program Development by Refinement: Case Studies Using The B Method (Formal Approaches to Computing and Information Technology (FACIT))
Produkt anzeigen
Adaptive Mesh Refinement in Time-Domain Numerical Electromagnetics (Synthesis Lectures on Computational Electromagnetics)
Adaptive Mesh Refinement in Time-Domain Numerical Electromagnetics (Synthesis Lectures on Computational Electromagnetics)
Produkt anzeigen
Modular Compiler Verification: A Refinement-Algebraic Approach Advocating Stepwise Abstraction (Lecture Notes in Computer Science) (Lecture Notes in Computer Science (1283))
Modular Compiler Verification: A Refinement-Algebraic Approach Advocating Stepwise Abstraction (Lecture Notes in Computer Science) (Lecture Notes in Computer Science (1283))
Produkt anzeigen
On the Refinement Calculus (Formal Approaches to Computing and Information Technology (FACIT))
On the Refinement Calculus (Formal Approaches to Computing and Information Technology (FACIT))
Produkt anzeigen
6th Refinement Workshop: Proceedings of the 6th Refinement Workshop, organised by BCS-FACS, London, 57 January 1994 (Workshops in Computing)
6th Refinement Workshop: Proceedings of the 6th Refinement Workshop, organised by BCS-FACS, London, 57 January 1994 (Workshops in Computing)
Produkt anzeigen
Parallel Multilevel Methods
Parallel Multilevel Methods
Produkt anzeigen
Menü