Bookbot

Ein Basiskalkül für die Verifikation von Eigenschaften synchron interagierender Objekte

Compra de libros

Ein Basiskalkül für die Verifikation von Eigenschaften synchron interagierender Objekte, Stefan Conrad

Idioma
Publicado en
1994
Te avisaremos por correo electrónico en cuanto lo localicemos.

Métodos de pago

Nadie lo ha calificado todavía.Añadir reseña