Axiomatising the Logic of Computer Programming
Von:Goldblatt, R.
ISBN: 9783540112105
ISBN-10: 3540112103
Artikelnummer: 127150
Lieferantenbestellnummer: 1442724
Springer-Verlag GmbH,Springer,Kt ,2007 ,320 Seiten
Lieferbar in 1 Tagen.
Verkaufspreis: 24,60 €
Incl. 7.00 % MWSt.
Sie sind Händler? Dann loggen Sie sich bitte ein, um rabattierte Nettopreise zu sehen.
Conceptual background.- The logical structure of commands.- Assignments.- Appendix 1 Some related studies.- Function declarations.- Procedures.- Arrays.
Wir behalten uns Änderungen von Preisen, Rabatten und Lieferzeiten vor.
