Sök böcker

Här kan du söka dig fram till bra böcker. Klicka sen på en bok för att läsa mer om den!

Sökning efter: Zohar Manna 20 träffar

Titel Författare År Språk
1-2 The calculus of computation - decision procedures with applications to verification (flera utgåvor) Aaron R. Bradley 2007 Engelska
3 Calculus of Computation: Decision Procedures With Applications to Verification Aaron R. Bradley 2007 Okänt
4-5 The Temporal Logic of Reactive and Concurrent Systems electronic resource : Specification / by Zohar Manna, Amir Pnueli (flera utgåvor) Zohar. author. Manna uuuu-uuuu Okänt
6 Lectures on the logic of computer programming Zohar Manna cop. 1980 Engelska
7 Lectures on the Logic of Computer Programming Zohar Manna 1980 Okänt
8 Lectures on the logic of computer programming / Zohar Manna Zohar. Manna uuuu-uuuu Okänt
9 The logical basis for computer programming Zohar Manna 1985-1990 Engelska
10 The logical basis for computer programming Vol. 1, Deductive reasoning Zohar Manna cop. 1985 Engelska
11 The logical basis for computer programming Vol. 2, Deductive systems Zohar Manna cop. 1990 Engelska
12 Mathematical theory of computation Zohar Manna cop. 1974 Engelska
13 Studies in automatic programming logic Zohar Manna cop. 1977 Engelska
14 The temporal logic of reactive and concurrent systems Zohar Manna 1992-9999 Engelska
15 The temporal logic of reactive and concurrent systems, Specification Zohar Manna Cop. 1992 Engelska
16 Temporal verification of reactive systems - safety Zohar Manna c1995 Engelska
17 Temporal verification of reactive systems : safety / Zohar Manna, Amir Pnueli Zohar Manna uuuu-uuuu Okänt
18 Time for Verification - Essays in Memory of Amir Pnueli Zohar. Manna 2010 Engelska
19 Verification. - theory and practice : essays delivered to Zohar Manna on the occasion of his 64th birthday 2004 Engelska
20 The Temporal Logic of Reactive and Concurrent Systems Zohar Manna 1991 Okänt

1

Sökningen görs direkt i Kungl. bibliotekets söktjänst libris. Libris katalog innehåller närmare 7 miljoner titlar från ca 170 bibliotek i Sverige och biblioteken samarbetar om att hålla katalogen uppdaterad. Utan libris skulle inte en tjänst som Boktraven vara möjlig.