Couverture : Verification of sequential and concurrent programs

Couverture : Open Library

← Fiche de l'œuvre

Verification of sequential and concurrent programs

Krzysztof R. Apt, Ernst-Rüdiger Olderog

Détails de l'édition

ISBN-13: 9780387948966
ISBN-10: 0387948961
EAN: 9780387948966
Éditeur: Springer-Verlag (New York)
Date de publication: 1 janvier 1997
Langue: eng
Pages: 364
Dimensions: 25 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 BnF Catalogue général · 23 juillet 2026
publication_date BnF Catalogue général · 23 juillet 2026
title Open Library · 1 août 2026