Lectures on the Logic of Computer Programming

Häftad, Engelska

Av Zohar Manna

719 kr

Tillfälligt slut

Produktinformation

Mer från samma författare

Temporal Verification of Reactive Systems

Temporal Verification of Reactive Systems

Zohar Manna, Amir Pnueli

1 449 kr

Temporal Logic of Reactive and Concurrent Systems

Temporal Logic of Reactive and Concurrent Systems

Zohar Manna, Amir Pnueli

1 589 kr

Mathematical Theory of Computation

Mathematical Theory of Computation

Zohar Manna

349 kr

Temporal Logic of Reactive and Concurrent Systems

Temporal Logic of Reactive and Concurrent Systems

Zohar Manna, Amir Pnueli

729 kr

Temporal Verification of Reactive Systems

Temporal Verification of Reactive Systems

Zohar Manna, Amir Pnueli

1 589 kr

Calculus of Computation

Calculus of Computation

Aaron R. Bradley, Zohar Manna

1 019 kr

Calculus of Computation

Calculus of Computation

Aaron R. Bradley, Zohar Manna

729 kr

Du kanske också är intresserad av

Temporal Logic of Reactive and Concurrent Systems

Temporal Logic of Reactive and Concurrent Systems

Zohar Manna, Amir Pnueli

729 kr

Temporal Verification of Reactive Systems

Temporal Verification of Reactive Systems

Zohar Manna, Amir Pnueli

1 449 kr

Calculus of Computation

Calculus of Computation

Aaron R. Bradley, Zohar Manna

1 019 kr

Calculus of Computation

Calculus of Computation

Aaron R. Bradley, Zohar Manna

729 kr

Mathematical Theory of Computation

Mathematical Theory of Computation

Zohar Manna

349 kr

Temporal Verification of Reactive Systems

Temporal Verification of Reactive Systems

Zohar Manna, Amir Pnueli

1 589 kr

Temporal Logic of Reactive and Concurrent Systems

Temporal Logic of Reactive and Concurrent Systems

Zohar Manna, Amir Pnueli

1 589 kr

De fenomenala fruntimren på Grand Hôtel
Del 1

De fenomenala fruntimren på Grand Hôtel

Ruth Kvarnström-Jones

125 kr

Charlies hämnd
  • Nyhet
Del 1

Charlies hämnd

Simona Ahrnstedt

79 kr125 kr

Caminando Spanska Nybörjare Lärobok inkl ljud

Caminando Spanska Nybörjare Lärobok inkl ljud

Elisabet Waldenström, Ninni Westerman, Åsa Bretz, Åsa Gustafsson, Märet Wik-Bretz

589 kr

Tillhör följande kategorier