Articoli correlati a Axiomatising the Logic of Computer Programming

Axiomatising the Logic of Computer Programming - Brossura

Goldblatt, R.

 
9783662195574: Axiomatising the Logic of Computer Programming
Brossura
ISBN 10: 3662195577 ISBN 13: 9783662195574
Casa editrice: Springer, 2014

Al momento non sono disponibili copie per questo codice ISBN.

Sinossi

Conceptual background.- The logical structure of commands.- Assignments.- Appendix 1 Some related studies.- Function declarations.- Procedures.- Arrays.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

  • EditoreSpringer
  • Data di pubblicazione2014
  • ISBN 10 3662195577
  • ISBN 13 9783662195574
  • RilegaturaPaperback
  • LinguaInglese
  • Contatto del produttorenon disponibile

(nessuna copia disponibile)

Cerca:



Inserisci un desiderata

Non riesci a trovare il libro che stai cercando? Continueremo a cercarlo per te. Se uno dei nostri librai lo aggiunge ad AbeBooks, ti invieremo una notifica!

Inserisci un desiderata

Altre edizioni note dello stesso titolo

9783540112105: Axiomatising the Logic of Computer Programming: 130

Edizione in evidenza

ISBN 10:  3540112103 ISBN 13:  9783540112105
Casa editrice: Springer, 2008
Brossura