SULJE VALIKKO

Kirjallisuuden Nobel-palkinnon voittaja 2024
Onnea Finlandia-ehdokkaat!
Näistä puhumme juuri nyt!
Löydä joulun ilo kirjoista
Lahjaideoita isälle
Henkilökunta suosittelee
Kaunokirjallisuus
Kotimainen kaunokirjallisuus
Käännetty kaunokirjallisuus
Runous
Sarjakuvat
Mietelauseet
Pokkarit
Keltainen Kirjasto
Otavan kirjasto
Tietokirjallisuus
Elämänkerrat ja muistelmat
Yleistieto
Tietotekniikka
Ajoneuvot
Taide ja arkkitehtuuri
Käsityötaide
Historia
Yhteiskunta
Yritykset ja talous
Oikeustiede
Lääketiede
Kalenterit
Hyvinvointikirjat
Elämäntaito
Ihmissuhteet
Kauneus ja terveys
Psykologia
Lapset, vauvat, raskaus
Voimistelu
Harrastekirjat
Keittokirjat
Sisustus
Käsityöt
Talo ja piha
Puutarha ja kasvit
Urheilu ja ulkoilu
Matkakirjat
Eläimet
Musiikki
Valokuvaus
Metsästys ja kalastus
Lastenkirjat
Kuvakirjat
Oppi&ilo tuotteet kaikenikäisille
Nuortenkirjat
Selkokirjat
Lahjakortti
Tietoa verkkokaupasta
Akateeminen Kirjakauppa
akateeminen.com
Myymälät
Yhteystiedot
Uutiset

avaa valikko

Zohar Manna | Akateeminen Kirjakauppa

Haullasi löytyi yhteensä 13 tuotetta
Haluatko tarkentaa hakukriteerejä?



Logical Basis for Computer Programming, Volume 1
LOGICAL BASIS FOR COMPUTER PROGRAMMING, VOLUME 1
Zohar Manna; Richard Waldinger
(1985)
Pehmeäkantinen kirja
56,90 €
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Deductive Foundations of Computer Programming
DEDUCTIVE FOUNDATIONS OF COMPUTER PROGRAMMING
Zohar Manna; Richard Waldinger
(1993)
Kovakantinen kirja
68,00 €
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Logical Basis for Computer Programming, Volume 1 (paperback)
LOGICAL BASIS FOR COMPUTER PROGRAMMING, VOLUME 1 (PAPERBACK)
Zohar Manna; Richard Waldinger
(2008)
Pehmeäkantinen kirja
56,20 €
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Calculus of Computation
CALCULUS OF COMPUTATION
Bradley Aaron R. Bradley; Manna Zohar Manna
Springer Nature B.V. (2009)
Pehmeäkantinen kirja
115,90 €
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Temporal Verification of Reactive Systems : Safety
TEMPORAL VERIFICATION OF REACTIVE SYSTEMS : SAFETY
Zohar Manna; Amir Pnueli
Springer (1995)
Kovakantinen kirja
97,90 €
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
The Temporal Logic of Reactive and Concurrent Systems : Specification
THE TEMPORAL LOGIC OF REACTIVE AND CONCURRENT SYSTEMS : SPECIFICATION
Zohar Manna; Amir Pnueli
Springer (1991)
Kovakantinen kirja
107,50 €
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Time for Verification - Essays in Memory of Amir Pnueli
TIME FOR VERIFICATION - ESSAYS IN MEMORY OF AMIR PNUELI
Zohar Manna; Doron A. Peled
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2010)
Pehmeäkantinen kirja
88,20 €
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
The Temporal Logic of Reactive and Concurrent Systems : Specification
THE TEMPORAL LOGIC OF REACTIVE AND CONCURRENT SYSTEMS : SPECIFICATION
Zohar Manna; Amir Pnueli
Springer (2012)
Pehmeäkantinen kirja
49,60 €
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Lectures on the Logic of Computer Programming
LECTURES ON THE LOGIC OF COMPUTER PROGRAMMING
Zohar Manna
Society for Industrial & Applied Mathematics,U.S. (1987)
Pehmeäkantinen kirja
56,10 €
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Mathematical Theory of Computation
MATHEMATICAL THEORY OF COMPUTATION
Zohar Manna
Dover Publications (2003)
Pehmeäkantinen kirja
22,60 €
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Temporal Verification of Reactive Systems : Safety
TEMPORAL VERIFICATION OF REACTIVE SYSTEMS : SAFETY
Zohar Manna; Amir Pnueli
Springer (2012)
Pehmeäkantinen kirja
107,50 €
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
The Calculus of Computation - Decision Procedures with Applications to Verification
THE CALCULUS OF COMPUTATION - DECISION PROCEDURES WITH APPLICATIONS TO VERIFICATION
Aaron R. Bradley; Zohar Manna
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2007)
Kovakantinen kirja
68,90 €
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
The Calculus of Computation : Decision Procedures with Applications to Verification
THE CALCULUS OF COMPUTATION : DECISION PROCEDURES WITH APPLICATIONS TO VERIFICATION
Aaron R. Bradley; Zohar Manna
Springer (2010)
Pehmeäkantinen kirja
49,60 €
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Logical Basis for Computer Programming, Volume 1
Zohar Manna, Richard Waldinger
56,90 €
Sivumäärä: 632 sivua
Asu: Pehmeäkantinen kirja
Julkaisuvuosi: 1985, 01.01.1985 (lisätietoa)
Kieli: Englanti
Tuotteella ei tuotekuvausta.

Loppuunmyyty
Myymäläsaatavuus
Helsinki
Tapiola
Turku
Tampere
Logical Basis for Computer Programming, Volume 1
Näytä kaikki tuotetiedot
ISBN:
9780201182606
Aihealue:
Ulkomaiset kirjat
Sisäänkirjautuminen
Kirjaudu sisään
Rekisteröityminen
Oma tili
Omat tiedot
Omat tilaukset
Omat laskut
Lisätietoja
Asiakaspalvelu
Tietoa verkkokaupasta
Toimitusehdot
Tietosuojaseloste
Yhteystiedot
Toimitusehdot
Asiakaspalvelu
Tietosuojaseloste