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

Couverture : Open Library

← Fiche de l'œuvre

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

Bjørner Dines, Martin C. Henson

Détails de l'édition

ISBN-13: 9783540741060
ISBN-10: 3540741062
EAN: 9783540741060
Éditeur: Springer (Berlin)
Date de publication: 1 janvier 2007
Langue: eng
Pages: 624
Dimensions: 24 cm

Provenance des données

dimensions BnF Catalogue général · 23 juillet 2026
language BnF Catalogue général · 23 juillet 2026
page_count Open Library · 2 août 2026
publication_date Open Library · 2 août 2026
title Open Library · 2 août 2026