Friedrich L. Bauer (u. A.) | Logic And Algebra Of Specification | Buch

Friedrich L. Bauer | Origins And Foundations Of Computing |

Rafat Alshorman (u. A.) | Specifications And Verifications Of

Proof Theory And Algebra In Logic 5583

Vladimir Shpakov | Logic-dynamical Specification And Computer

Andrzej Tarlecki (u. A.) | Foundations Of Algebraic Specification And

Friedrich Ueberweg (u. A.) | System Of Logic And History Of Logical

Tianjun Shi (u. A.) | Specification And Analysis Of Software

Universal Algebra, Algebraic Logic, And Databases 2383

Mehdi Dastani (u. A.) | Specification And Verification Of Multi-agent

B. Plotkin | Universal Algebra, Algebraic Logic, And Databases |

Proof Theory And Algebra In Logic | Hiroakira Ono | Englisch |

Shaun Bullett Algebra, Logic And Combinatorics (gebundene Ausgabe)

Behnam Banieqbal (u. A.) | Temporal Logic In Specification |

Shulamith Kreitler (u. A.) | Systems Of Logic And The Construction Of

Smita Krishnaswamy (u. A.) | Design, Analysis And Test Of Logic