Mathematical Theory of Computation

AvZohar Manna

Häftad, Engelska, 2003

293 kr

Beställningsvara. Skickas inom 3-6 vardagar. Fri frakt över 249 kr.

Produktinformation

Utgivningsdatum:2003-12-24
Mått:140 x 213 x 24 mm
Vikt:485 g
Format:Häftad
Språk:Engelska
Antal sidor:448
Förlag:Dover Publications
ISBN:9780486432380

Mer från samma författare

Temporal Verification of Reactive Systems

Zohar Manna, Amir Pnueli

Inbunden, 1995

1 138 kr

Temporal Logic of Reactive and Concurrent Systems

Zohar Manna, Amir Pnueli

Inbunden, 1991

1 251 kr

Lectures on the Logic of Computer Programming

Zohar Manna

Häftad, 1987

593 kr

Temporal Logic of Reactive and Concurrent Systems

Amir Pnueli, Zohar Manna

E-bok

2012

739 kr

Temporal Verification of Reactive Systems

Amir Pnueli, Zohar Manna

E-bok

2012

1 459 kr

Temporal Logic of Reactive and Concurrent Systems

Zohar Manna, Amir Pnueli

Häftad, 2012

571 kr

Temporal Verification of Reactive Systems

Zohar Manna, Amir Pnueli

Häftad, 2012

1 247 kr

Calculus of Computation

Aaron R. Bradley, Zohar Manna

Inbunden, 2007

855 kr

Calculus of Computation

Zohar Manna, Aaron R. Bradley

E-bok

2007

723 kr

Calculus of Computation

Aaron R. Bradley, Zohar Manna

Häftad, 2010

572 kr

Du kanske också är intresserad av

Nyhet

L'amour toujours : Berättelsen om Tidö

Maggie Strömberg, Torbjörn Nilsson

Inbunden, 2026

275 kr

Temporal Verification of Reactive Systems

Amir Pnueli, Zohar Manna

E-bok

2012

1 459 kr

Temporal Logic of Reactive and Concurrent Systems

Zohar Manna, Amir Pnueli

Häftad, 2012

571 kr

Temporal Logic of Reactive and Concurrent Systems

Amir Pnueli, Zohar Manna

E-bok

2012

739 kr

Temporal Verification of Reactive Systems

Zohar Manna, Amir Pnueli

Inbunden, 1995

1 138 kr

Calculus of Computation

Aaron R. Bradley, Zohar Manna

Inbunden, 2007

855 kr

Time for Verification

Doron A. Peled, Zohar Manna

E-bok

2010

1 330 kr

Temporal Verification of Reactive Systems

Zohar Manna, Amir Pnueli

Häftad, 2012

1 247 kr

Calculus of Computation

Zohar Manna, Aaron R. Bradley

E-bok

2007

723 kr

Temporal Logic of Reactive and Concurrent Systems

Zohar Manna, Amir Pnueli

Inbunden, 1991

1 251 kr

Mathematical Theory of Computation

AvZohar Manna

Häftad, Engelska, 2003

293 kr

Beställningsvara. Skickas inom 3-6 vardagar. Fri frakt över 249 kr.

Produktinformation

Utgivningsdatum:2003-12-24
Mått:140 x 213 x 24 mm
Vikt:485 g
Format:Häftad
Språk:Engelska
Antal sidor:448
Förlag:Dover Publications
ISBN:9780486432380

Mer från samma författare

Temporal Verification of Reactive Systems

Zohar Manna, Amir Pnueli

Inbunden, 1995

1 138 kr

Temporal Logic of Reactive and Concurrent Systems

Zohar Manna, Amir Pnueli

Inbunden, 1991

1 251 kr

Lectures on the Logic of Computer Programming

Zohar Manna

Häftad, 1987

593 kr

Temporal Logic of Reactive and Concurrent Systems

Amir Pnueli, Zohar Manna

E-bok

2012

739 kr

Temporal Verification of Reactive Systems

Amir Pnueli, Zohar Manna

E-bok

2012

1 459 kr

Temporal Logic of Reactive and Concurrent Systems

Zohar Manna, Amir Pnueli

Häftad, 2012

571 kr

Temporal Verification of Reactive Systems

Zohar Manna, Amir Pnueli

Häftad, 2012

1 247 kr

Calculus of Computation

Aaron R. Bradley, Zohar Manna

Inbunden, 2007

855 kr

Calculus of Computation

Zohar Manna, Aaron R. Bradley

E-bok

2007

723 kr

Calculus of Computation

Aaron R. Bradley, Zohar Manna

Häftad, 2010

572 kr

Du kanske också är intresserad av

Nyhet

L'amour toujours : Berättelsen om Tidö

Maggie Strömberg, Torbjörn Nilsson

Inbunden, 2026

275 kr

Temporal Verification of Reactive Systems

Amir Pnueli, Zohar Manna

E-bok

2012

1 459 kr

Temporal Logic of Reactive and Concurrent Systems

Zohar Manna, Amir Pnueli

Häftad, 2012

571 kr

Temporal Logic of Reactive and Concurrent Systems

Amir Pnueli, Zohar Manna

E-bok

2012

739 kr

Temporal Verification of Reactive Systems

Zohar Manna, Amir Pnueli

Inbunden, 1995

1 138 kr

Calculus of Computation

Aaron R. Bradley, Zohar Manna

Inbunden, 2007

855 kr

Time for Verification

Doron A. Peled, Zohar Manna

E-bok

2010

1 330 kr

Temporal Verification of Reactive Systems

Zohar Manna, Amir Pnueli

Häftad, 2012

1 247 kr

Calculus of Computation

Zohar Manna, Aaron R. Bradley

E-bok

2007

723 kr

Temporal Logic of Reactive and Concurrent Systems

Zohar Manna, Amir Pnueli

Inbunden, 1991

1 251 kr