Thermal verification of programs
Gespeichert in:
| Titel: | Thermal verification of programs |
|---|---|
| Autoren: | Koskinen, Eric John |
| Verlagsinformationen: | University of Cambridge, 2013. |
| Publikationsjahr: | 2013 |
| Bestand: | University of Cambridge |
| Schlagwörter: | 004, Computer programs--Verification |
| Publikationsart: | Electronic Thesis or Dissertation |
| Sprache: | English |
| Zugangs-URL: | http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.607698 |
| Dokumentencode: | edsble.607698 |
| Datenbank: | British Library EThOS |
Nájsť tento článok vo Web of Science Schreiben Sie den ersten Kommentar!