Catalogo · 9783642807183
1. Fachtagung über Programmiersprachen
ISBN 9783642807183
Descrizione non disponibile per questo libro.
La tua libreria
Accedi per aggiungere questo libro alla tua libreria.
Lettori
Communitas attorno al libro
Letture affini
VDM '90. VDM and Z - Formal Methods in Software Development
Dines Bjørner, C.A.R. Hoare, Hans Langmaack
Formal techniques in real-time and fault-tolerant systems
Hans Langmaack, Willem-Paul de Roever, Jan Vytopil
Compositionality : the Significant Difference
Willem-Paul de Roever, Hans Langmaack, Amir Pnueli
Verba volant · scripta manent