Couverture : Logics of Specification Languages (Monographs in Theoretical Computer Science. An EATCS Series)

Connectez-vous pour ajouter ce livre à votre bibliothèque.

Logics of Specification Languages (Monographs in Theoretical Computer Science. An EATCS Series)

Bjørner Dines, Martin C. Henson

Autre Première publication : 2007

Sujets

Langages de programmation -- Sémantique

Éditions (1)

Couverture : Logics of Specification Languages (Monographs in Theoretical Computer Science. An EATCS Series)

Logics of Specification Languages (Monographs in Theoretical Computer Science. An EATCS Series)

Springer (Berlin) · 2007 · 9783540741060