My Library

University LibraryCatalogue

For faster,
simpler
access.
Use Lean
Library.
Get it now
Don't show me again
     
Limit search to items available for borrowing or consultation
Save Marked Record Save All Records Save Marked to My Lists
AUTHORS (1-4 of 4)
Salwicki, Andrzej.
1
Cover Art
    E-RESOURCE 1983

Logics of programs and their applications proceedings, Poznan, August 23-29, 1980 / [electronic resource] : edited by A. Salwicki.

    Symposium on Logics of Programs and Their Applications (1980 : Pozna⮬ Poland)
Berlin ; New York : Springer-Verlag,        1 online resource (vi, 324 pages) : illustrations. 1983
2
Cover Art
    E-RESOURCE 1983

Logics of programs and their applications : proceedings, Poznan, August 23-29, 1980 / edited by A. Salwicki.

    Symposium on Logics of Programs and Their Applications (1980 : Poznań, Poland)
Berlin ; New York : Springer-Verlag,        vi, 324 pages : illustrations ; 25 cm. 1983
4
Cover Art
    E-RESOURCE 1990

LOGLAN '88 - Report on the Programming Language / by Antoni Kreczmar, Andrzej Salwicki, Marek Warpechowski.

    Kreczmar, Antoni.
Berlin, Heidelberg : Springer Berlin Heidelberg,        1 online resource : v.: digital. 1990
Save Marked Record Save All Records
Locate in results
 
Can't find that book? Try BONUS+

Search Discovery

Search CARM Centre Catalogue

Search Trove