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

Inbunden, Engelska, 1996

2 339 kr

Tillfälligt slut

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

Utgivningsdatum1996-10-01
FormatInbunden
SpråkEngelska
FörlagWorld Scientific Publishing Co Pte Ltd
ISBN9789810228040

Tillhör följande kategorier

Programvaruutveckling inom Data och it

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.