Logic And Software Engineering - Proceedings Of The International Workshop In Honor Of Chih-sung Tang 1
bokomslag Logic And Software Engineering - Proceedings Of The International Workshop In Honor Of Chih-sung Tang
Data & IT

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

Amir Pnueli • H Lin

Inbunden

2489:-

Funktionen begränsas av dina webbläsarinställningar (t.ex. privat läge).

Tillfälligt slut online – klicka på "Bevaka" för att få ett mejl så fort varan går att köpa igen.

  • 320 sidor
  • 1996
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.
  • Författare: Amir Pnueli, H Lin
  • Format: Inbunden
  • ISBN: 9789810228040
  • Språk: Engelska
  • Antal sidor: 320
  • Utgivningsdatum: 1996-10-01
  • Förlag: World Scientific Publishing Co Pte Ltd

Du kanske gillar

  1. bokomslag Multidimensional Microscopy

    Multidimensional Microscopy

    P-C Cheng, T H Lin, W L Wu, J L Wu

    Pocket

    1549:-
  2. bokomslag Endovascular Therapy

    Endovascular Therapy

    Alan B Lumsden, Peter H Lin, Ruth L Bush Md, Changyi Chen

    Inbunden

    1979:-
  3. bokomslag Perspectives of Systems Informatics

    Perspectives of Systems Informatics

    Andrei Voronkov Amir Pnueli

    Pocket

    759:-
  4. bokomslag Radiation Oncology: A Question-Based Review

    Radiation Oncology: A Question-Based ...

    Borislav Hristov, Steven H Lin, John P Christodouleas

    Pocket

    1789:-
  5. bokomslag Advanced Endovascular Therapy of Aortic Disease

    Advanced Endovascular Therapy of Aort...

    Alan B Lumsden, Peter H Lin, Changyi Chen, Juan Parodi

    Inbunden

    2699:-
  6. bokomslag Fluid Mechanics

    Fluid Mechanics

    David Pnueli

    Pocket

    1029:-
  7. bokomslag Self-Commutating Converters for High Power Applications

    Self-Commutating Converters for High ...

    Jos Arrillaga, Yonghe H Liu, Neville R Watson, Nicholas J Murray

    Inbunden

    2249:-
  8. Hitster Rock

    Hitster Rock

    Spel, Hitster

    299:- (349:-)
  9. Pranklåda Yumi & Tomu

    Pranklåda Yumi & Tomu

    Pranklåda , Kärnan

    299:- (399:-)
  10. Hitster Guilty Pleasures (Nordic)

    Hitster Guilty Pleasures (Nordic)

    Spel, Hitster

    299:- (349:-)

Andra av samma författare

  1. bokomslag Industrial Dynamics in China and India

    Industrial Dynamics in China and India

    M Ohara, M Vijayabaskar, H Lin

    Inbunden

    759:-
  2. bokomslag Temporal Verification of Reactive Systems

    Temporal Verification of Reactive Sys...

    Amir Pnueli Zohar Manna

    Inbunden

    1509:-
  3. bokomslag The Temporal Logic of Reactive and Concurrent Systems

    The Temporal Logic of Reactive and Co...

    Amir Pnueli Zohar Manna

    Inbunden

    1659:-
  4. bokomslag Industrial Dynamics in China and India

    Industrial Dynamics in China and India

    M Ohara, M Vijayabaskar, H Lin

    Pocket

    759:-
  5. bokomslag The Temporal Logic of Reactive and Concurrent Systems

    The Temporal Logic of Reactive and Co...

    Amir Pnueli Zohar Manna

    Pocket

    759:-
  6. bokomslag Temporal Verification of Reactive Systems

    Temporal Verification of Reactive Sys...

    Amir Pnueli Zohar Manna

    Pocket

    1659:-
  7. bokomslag Hybrid Systems: Computation and Control

    Hybrid Systems: Computation and Control

    Freek Wiedijk, Oded Maler, Amir Pnueli

    Pocket

    1509:-
  8. bokomslag Temporal Logic in Specification

    Temporal Logic in Specification

    Behnam Banieqbal, Howard Barringer, Amir Pnueli

    Pocket

    759:-
  9. bokomslag Compositionality: The Significant Difference

    Compositionality: The Significant Dif...

    Willem-Paul De Roever, Hans Langmaack, Amir Pnueli

    Pocket

    1509:-
  10. bokomslag Perspectives of Systems Informatics

    Perspectives of Systems Informatics

    Andrei Voronkov Amir Pnueli

    Pocket

    759:-