averdo DE 
Program Development by Refinement: Case Studies Using The B Method
(9781852330538)
Preis von (3 Angebote)156.92 EUR
Weitere Informationen
Refinement Types: A Tutorial
Compare products, prices, offers and stores on Comparor to make a better informed purchase.
Gesponsert
Diese Website enthält Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten.
Weitere Informationen
Gesponsert
Refinement Types: A Tutorial (Foundations and Trends(r) in Programming Languages)
Günstigstes Angebot
107.90 EUR
Siehe Produktangebot
Dieses Produkt im Comparor
KategorieDieses Produkt ist in unserem Shop in diesen Kategorien in unserem Shop katalogisiert
InternationalFinden Sie dieses Produkt in einem unserer internationalen Geschäfte
Dieses Produkt wurde in anderen Ländern nicht gefunden
FarbenVorherrschende Farben des Produkts
Bezeichner
Marke
Ranjit Jhala
ID
31479443
Parallel Multilevel Methods: Adaptive Mesh Refinement and Loadbalancing
Vieweg+Teubner Verlag (9783519004516) | Parallel Multilevel Methods, Adaptive Mesh
Preis von (3 Angebote)40.49 EUR
Weitere Informationen
6th Refinement Workshop: Proceedings of the 6th Refinement Workshop, organised by BCS-FACS, London, 57 January 1994
Springer (9783540198864) | 6th Refinement Workshop
Preis von (3 Angebote)53.49 EUR
Weitere Informationen
On the Refinement Calculus
Springer (9783540199311) | On the Refinement Calculus
Preis von (3 Angebote)53.49 EUR
Weitere Informationen
Modular Compiler Verification: A Refinement-Algebraic Approach Advocating Stepwise Abstraction
Springer (9783540634065) | Modular Compiler Verification
Preis von (3 Angebote)53.49 EUR
Weitere Informationen
