Your search returned 2 results.

Sort
Results
1.
Verification of sequential and concurrent programs by
  • Apt, Krsysztof R
  • Olderog, Ernst-Rüdiger
Series: Graduate texts in computer science
Edition: 2nd ed.
Material type: Text Text; Format: large print regular print
Publication details: Nueva York : , c1997
Availability: Items available for loan: Biblioteca Fac.Informática (1)Call number: D.2.4 APT .

2.
Programming challenges : the programming contest training manual by
  • Skiena, Steven S
  • Revilla, Miguel A
Series: Texts in computer science
Material type: Text Text; Format: large print regular print
Publication details: Nueva York : , c2003
Availability: Items available for loan: Biblioteca Fac.Informática (1)Call number: I.2.8 SKI .

Pages

Powered by Koha