Logic And Software Engineering - Proceedings Of The International Workshop In Honor Of Chih-sung Tang

Inbunden, Engelska, 1996

1 790 kr

Tillfälligt slut

Beskrivning

This workshop brought together top researchers in logic and software engineering in the unique occasion of celebrating the 70th birthday of Professor C S Tang who has devoted much of his long research career to establishing a solid logic foundation for software engineering.

Produktinformation

Utgivningsdatum:1996-10-01
Mått:152 x 229 x undefined mm
Vikt:18 g
Format:Inbunden
Språk:Engelska
Förlag:World Scientific Publishing Co Pte Ltd
ISBN:9789810228040

Utforska kategorier

Programvaruutveckling inom Data och IT

Innehållsförteckning

Clocked transition systems, Z. Manna and A. Pneuli; towards an oject-oriented functional programming language, B. Krieg-Bruckner and Z.-Y. Qian; computing aspects of set theory, E. Engeler; a cooperative design for hybrid control systems, B.H. Widjaja et al; on implementing unique fixpoint induction for value-passing processes, H.-M. Lin; being whole, R. Yeh; conceptual sociological model of distributed software development environments, K. Kishida; an object oriented testing and maintenance environment, D. Kung et al; logic, software engineering and prototyping, Luqi and V. Berzins; debugging distributed real-time systems, K. Rekdal.