The Way of Z: practical programming with formal methods

other_versions_link
Podrobná bibliografie
Hlavní autor: Jacky, Jonathan
Médium: Printed Book
Vydáno: Cambridge, CUP 1997
Témata:
Computer programm language

MG University

Informace o exemplářích z: MG University
Signatura: 005.133 Z
005.133 Z N7
Jednotka Neznámá aktuální dostupnost
Jednotka Neznámá aktuální dostupnost

Podobné jednotky