Adresa: [go: nahoru, domu]

Home
Random
Nearby

Log in

Settings

Donate

About Wikipedia
Disclaimers

Floyd–Hoare logic

Article
Talk

Language
Watch
Edit

Redirect page

Redirect to:

Hoare logic

Retrieved from "https://en.wikipedia.org/w/index.php?title=Floyd–Hoare_logic&oldid=347094891"

Last edited on 1 March 2010, at 14:35

Languages

This page is not available in other languages.

This page was last edited on 1 March 2010, at 14:35 (UTC).
Content is available under CC BY-SA 4.0 unless otherwise noted.

Privacy policy
About Wikipedia
Disclaimers
Contact Wikipedia
Code of Conduct
Developers
Statistics
Cookie statement
Terms of Use
Desktop