Scientific computing and computer architecture /

Autor Viswanath, Divakar
Vydáno 2017

Reasoning about program transformations : imperative programming and flow of data /

Autor Collard, Jean-François
Vydáno 2003

ITP 2010 IJCAR 2010 ; CAV 2010 ; SAT 2010 : international conferences, Edinbourgh, UK, July 11-19, 2010 : proceedings ; Time for verification : essays in memory of Amir Pnueli

Vydáno 2010

Learning Python /

Autor Lutz, Mark
Vydáno 2009

Základy softwarového inženýrství - objektově orientovaný přístup /

Autor Buchalcevová, Alena, 1958-, Pavlíčková, Jarmila, 1969-2024
Vydáno 2002