LOGIC AND SOFTWARE ENGINEERING - PROCEEDINGS OF THE INTERNATIONAL WORKSHOP IN HONOR OF CHIH-SUNG TANG

Inbunden, Engelska, 1996

1 842 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.

Du kanske också är intresserad av

10% rabatt på allt

Exit Adventskalender - Julens magi (SE)

Exit

499 kr

Two Approaches to Interprocedural Data Flow Analysis

Micha Sharir, A Pnueli

Häftad, 2023

201 kr

Two Approaches to Interprocedural Data Flow Analysis

Micha Sharir, A Pnueli

Inbunden, 2023

357 kr

Industrial Dynamics in China and India

M. Ohara, M. Vijayabaskar, H. Lin

Häftad, 2011

571 kr

MetaSoft Primer

Andrzej Blikle, D. Barstow, W. Brauer, P. Brinch Hansen, D. Gries, D. Luckham, C. Moler, A. Pnueli, G. Seegmüller, J. Stoer, N. Wirth

Häftad, 1987

572 kr

Industrial Dynamics in China and India

H. Lin, M. Vijayabaskar, M. Ohara

E-bok

2011

785 kr

Industrial Dynamics in China and India

M. Ohara, M. Vijayabaskar, H. Lin

Inbunden, 2011

571 kr

Ruth Kvarnström-Jones - Systrarna på Sophiahemmet, Inbunden

10% rabatt på allt

Del 3

Systrarna på Sophiahemmet

Ruth Kvarnström-Jones

Inbunden, 2026

249 kr

10% rabatt på allt

Del 11

Medusa

Lars Kepler

Inbunden, 2026

269 kr

Ruth Kvarnström-Jones - SIGNERAD - Systrarna på Sophiahemmet, Inbunden

Signerad!

Del 3

SIGNERAD - Systrarna på Sophiahemmet

Ruth Kvarnström-Jones

Inbunden, 2026

249 kr

LOGIC AND SOFTWARE ENGINEERING - PROCEEDINGS OF THE INTERNATIONAL WORKSHOP IN HONOR OF CHIH-SUNG TANG

AvA PNUELI H LIN,A Pnueli

Inbunden, Engelska, 1996

1 842 kr

Tillfälligt slut

Beskrivning

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.