Del 131 - Lecture Notes in Computer Science

Logics of Programs

Workshop, Yorktown Heights, NY, USA

Häftad, Engelska, 1982

519 kr

Beställningsvara. Skickas inom 7-10 vardagar

Fri frakt för medlemmar vid köp för minst 249 kr.

Produktinformation

Utgivningsdatum1982-03-01
Mått170 x 250 x undefined mm
SpråkEngelska
SerieLecture Notes in Computer Science
Antal sidor429
FörlagSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG
EAN9783540112129

Du kanske också är intresserad av

Logics of Programs

Del 164

Logics of Programs

E. Clarke, D. Kozen

689 kr

Den yttersta hemligheten

Nyhet

Del 6

Den yttersta hemligheten

329 kr

Lera DAS 1kg vit

Lera DAS 1kg vit

DAS

89 kr

Lackeringskit DAS 75ml lack + pensel

Lackeringskit DAS 75ml lack + pensel

DAS

159 kr

Väninnorna på Nordiska Kompaniet

Nyhet

Del 2

Väninnorna på Nordiska Kompaniet

Ruth Kvarnström-Jones

79 kr125 kr

Hitster Christmas

Nyhet

Hitster Christmas

Jumbo

259 kr

Hjärtslag : En självbiografi

Nyhet

Hjärtslag : En självbiografi

Björn Borg, Patricia Borg

349 kr

Kramar och ramar : om barns drivkrafter och vägen till ett föräldraskap som funkar

Nyhet

Kramar och ramar : om barns drivkrafter och vägen till ett föräldraskap som funkar

Petra Krantz Lindgren

349 kr

Näktergalen

4 pocket för 3

Näktergalen

125 kr

Kvinnorna

4 pocket för 3

Kvinnorna

125 kr

Tillhör följande kategorier

Systemvetenskap och AI inom Data och it

Proof rules dealing with fairness.- Hoare's Logic is incomplete when it does not have to be.- The refinement of specifications and the stability of Hoare's Logic.- Toward a logical theory of program data.- Design and synthesis of synchronization skeletons using branching time temporal logic.- The type theory of PL/CV3.- Correctness of programs with function procedures.- A formalism for reasoning about fair termination.- Keeping a foot on the ground.- Further results on propositional dynamic logic of nonregular programs.- Some observations on compositional semantics.- Some connections between iterative programs, recursive programs, and first-order logic.- On induction vs. *-continuity.- Timesets.- Program logics and program verification.- Verification of concurrent programs: Temporal proof principles.- Synthesis of communicating processes from Temporal Logic specifications.- A note on equivalences among logics of programs.- The representation theorem for algorithmic algebras.- Nonstandard Dynamic Logic.- A critique of the foundations of Hoare-style programming logics.- Some applications of topology to program semantics.- Using graphs to understand PDL.- Critical remarks on max model of concurrency.- Transcript of panel discussion.