Del 75
1. Fachtagung über Programmiersprachen
München, 9.–11. März 1971
E-bok
PDF, Tyska, 2013485 kr
Läs direkt i Bokus Reader – eller ladda ned till din enhet (PDF kräver ofta zoom och scroll på små skärmar).
Produktinformation
Utforska kategorier
Hoppa över listan
Du kanske också är intresserad av
Formal Methods for Industrial Applications
Jean-Raymond Abrial, Egon Börger, Hans Langmaack
Häftad, 1996
1 082 kr
Formal Techniques in Real-Time and Fault-Tolerant Systems
Hans Langmaack, Willem-Paul de Roever, Jan Vytopil
Häftad, 1994
1 114 kr
Compositionality: The Significant Difference
Willem-Paul de Roever, Hans Langmaack, Amir Pnueli
Häftad, 1998
1 114 kr
Distributed Systems
M.W. Alford, J.P. Ansart, G. Hommel, L. Lamport, B. Liskov, G.P. Mullery, F.B. Schneider, Manfred Paul, H.J. Siegert
Häftad, 1985
561 kr
Compositionality: The Significant Difference
Amir Pnueli, Hans Langmaack, Willem-Paul de Roever
E-bok
20031 408 kr
VDM '90. VDM and Z - Formal Methods in Software Development
Dines Bjørner, C.A.R. Hoare, Hans Langmaack
Häftad, 1990
561 kr