Författare
Zohar Manna
Zohar Manna är en uppskattad författare inom Naturvetenskap och teknik med totalt 1 bok tillgängliga på Bokkollen, utgivna hos Dover Publications.
Bland verken finns Mathematical Theory of Computation, som toppar listan över Zohar Mannas populäraste böcker. Verken spänner över naturvetenskap & teknik och tilltalar läsare som uppskattar genren.
På Bokkollen gör vi det enkelt att navigera i Zohar Mannas författarskap. Vår databas uppdateras ständigt med nya släpp och format, så oavsett om du söker efter en lättläst pocket för semestern, en lyxig inbunden presentutgåva eller en digital ljudbok för pendlingen, har vi rätt utgåva för dig.
Jämför snabbt och smidigt priser på alla böcker av Zohar Manna hos Sveriges ledande bokhandlare – som Adlibris, Bokus och Akademibokhandeln – och hitta alltid det bästa erbjudandet utan att betala för mycket.
Mathematical Theory of Computation
With the objective of making into a science the art of verifying computer programs (debugging), the author addresses both practical and theoretical aspects. Subjects include computability (with discussions of finite automata and Turing machines); predicate calculus; verification of programs (bloth flowchart and algol-like programs); flowchart schemas; and the fixpoint theory of programs. 1974 edition. Includes 77 figures.
Hela bibliografin
Utforska alla Zohar Mannas publicerade verk sorterade efter popularitet.
Upptäck liknande författare
Om du gillar Zohar Manna kommer du förmodligen att uppskatta även dessa författare inom naturvetenskap & teknik.