Anonymous

Not logged in

Create account
Log in

Search

Weakest precondition

From HandWiki

Namespaces

Page
Discussion

More

More

Page actions

Read
View source
History
ZWI Export

Redirect page

Redirect to:

Predicate transformer semantics

Retrieved from "https://handwiki.org/wiki/index.php?title=Weakest_precondition&oldid=41630"

Logic in computer science
Theoretical computer science

Encyclopedia of Knowledge

Main page Data analysis Astronomy & Space Biology Computer concepts Chemistry Mathematics Physics Earth studies Unsolved problems

History Philosophy Social studies Religion Medicine

Engineering & Tech Software programs Finance & Business

Biographies Organizations Companies Places

Books Monographs Tutorials Manuals

Navigation

Navigation

Add a new article
Search in all topics
Search in namespaces
Search in categories
Search using prefix

Help

About HandWiki
FAQs
How to edit
Citation manager
Formatting articles
List of categories
Recent pages
Recent changes
Random page
Support & Donate

Translate

Wiki tools

Wiki tools

Special pages
Cite this page

Page tools

Page tools

User page tools

More

What links here
Related changes
Printable version
Permanent link
Page information
Page logs

Other projects

In other languages

Categories

Categories

Logic in computer science
Theoretical computer science

This page was last edited on 26 December 2020, at 10:24.

Privacy policy
About HandWiki
Disclaimers