Control Flow Semantics - Softcover

De Bakker, J. W. W; De Vink, Erik P.

 
9780262518970: Control Flow Semantics

Inhaltsangabe

Control Flow Semantics presents a unified, formal treatment of the semantics of a wide spectrum of control flow notions as found in sequential, concurrent, logic, object-oriented, and functional programming languages.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Über die Autorin bzw. den Autor

J. W. de Bakker is Professor at the Centrum voor Wiskinde en Informatica in Amsterdam.

Erik de Vink is Professor in the Department of Mathematics and Computer Science at Eindhoven University of Technology.

„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.

Weitere beliebte Ausgaben desselben Titels

9780262041546: Control Flow Semantics (The MIT Press)

Vorgestellte Ausgabe

ISBN 10:  0262041545 ISBN 13:  9780262041546
Verlag: MIT Press, 1996
Hardcover