Spezification and Correct Implementation of Non-Sequential Systems Combining Abstract Data Types and Petri Nets

Schmidt, Heinz W

 
9783486212921: Spezification and Correct Implementation of Non-Sequential Systems Combining Abstract Data Types and Petri Nets

Inhaltsangabe

Gesellschaft für Mathematik und Datenverarbeitung: Berichte der Gesellschaft für Mathematik und Datenverarbeitung ; Nr. 176 1989 IX, 206 S. : graph. Darst. ; 23 cm kart. München ; Wien : Oldenbourg,

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