Search Results - MILKOWSKA, MIROSLAWA

  • Showing 1 - 7 results of 7
Refine Results
  1. 1
    Proving correctness and completeness of normal programs – a declarative approach

    Proving correctness and completeness of normal programs – a declarative approach by DRABENT, WŁODZIMIERZ, MIŁKOWSKA, MIROSŁAWA

    Get full text
    Items that cite this one
    Article
    Save to List
    Saved in:
  2. 2
    Thinking as Computation: A First Course by Hector J. Levesque, The MIT Press, 2012. Hardcover, ISBN 978-0-262-01699-5, xx + 299 pp

    Thinking as Computation: A First Course by Hector J. Levesque, The MIT Press, 2012. Hardcover, ISBN 978-0-262-01699-5, xx + 299 pp by Miłkowska, Mirosława

    Get full text
    Article
    Save to List
    Saved in:
  3. 3
    Book review

    Book review by Milkowska, Miroslawa

    Get full text
    Review
    Save to List
    Saved in:
  4. 4
    Spill — A logic language for writing testable requirements specifications

    Spill — A logic language for writing testable requirements specifications by Kluzniak, Feliks, Milkowska, Miroslawa

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  5. 5
    The Concordance to Vade mecum— the Polishpoetic cycle by C.K. Norwid

    The Concordance to Vade mecum— the Polishpoetic cycle by C.K. Norwid by MILKOWSKA, MIROSLAWA, PUZYNINA, JADWIGA, SALONI, ZYGMUNT

    Get full text
    Article
    Save to List
    Saved in:
  6. 6
    The Concordance to Vade mecum-The Polish Cycle by C. K. Norwid

    The Concordance to Vade mecum-The Polish Cycle by C. K. Norwid by Milkowska, Miroslawa, Puzynina, Jadwiga, Saloni, Zygmunt

    Get full text
    Article
    Save to List
    Saved in:
  7. 7
    Thinking as Computation: A First Course by Hector J.Levesque, The MIT Press, 2012. Hardcover, ISBN 978-0-262-01699-5, xx + 299 pp

    Thinking as Computation: A First Course by Hector J.Levesque, The MIT Press, 2012. Hardcover, ISBN 978-0-262-01699-5, xx + 299 pp by Miłkowska, Mirosława

    Get full text
    Review
    Save to List
    Saved in:

Search Tools: