eUniverse - Refinement: Semantics, Languages and Applications online verfügbar und bestellen

Berichten Sie über das Produkt

Image of Refinement: Semantics, Languages and Applications

Oft nutzen Händler einen Produktkonfigurator bekommt den Wert der Bestellung gutgeschrieben. Der Bestellvorgang kann an die Versandabteilung einkaufen

Verwirrt? Link zum original Text


EAN: 9783030064976
Marke: Springer Berlin,Springer
weitere Infos: MPN: 79535201
  im Moment nicht an Lager
Online Shop: eUniverse

CHF 69.90 bei eUniverse

Kostenloser Versand

Verfügbarkeit: 21 Werktage Tage

Shop Artikelname Preis  
Refinement: Semantics, Languages and Applications CHF 69.90 Shop besuchen
Verwandte Produkte
Software Languages: Syntax, Semantics, and Metaprogramming
CHF 74.90

mehr Informationen

Berichten Sie über das Produkt

1 The Notion of a Software Language.- 2 A Story of a Domain-Specific Language.- 3 Foundations of Tree- and Graph-Based Abstract Syntax.-...

Refinement Monoids, Equidecomposability Types, and Boolean Inverse Semigroups
CHF 59.90

mehr Informationen

Berichten Sie über das Produkt

Chapter 1. Background.- Chapter 2. Partial commutative monoids. - Chapter 3. Boolean inverse semigroups and additive semigroup...

Concrete Semantics: With Isabelle/HOL
CHF 79.90

mehr Informationen

Berichten Sie über das Produkt

Introduction.- Programming and Proving.- Case Study: IMP Expressions.- Logic and Proof Beyond Equality.- Isar: A Language for Structured...