Catalog

Record Details

Catalog Search


Back To Results
Showing Item 2 of 2

Time for Verification Essays in Memory of Amir Pnueli  Cover Image E-book E-book

Time for Verification Essays in Memory of Amir Pnueli

Manna, Zohar. (editor.). Peled, Doron A. (editor.). SpringerLink (Online service) (Added Author).

Record details

  • ISBN: 9783642137549
  • Physical Description: VIII, 413p. 113 illus. online resource.
  • Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
Subject: Computer science.
Logic design.
Computer Science.
Programming Techniques.
Mathematical Logic and Formal Languages.
Computation by Abstract Devices.
Logics and Meanings of Programs.

Electronic resources


Back To Results
Showing Item 2 of 2

Additional Resources