2012, ISBN: 1461264448
[EAN: 9781461264446], Neubuch, [PU: Springer-Verlag New York Inc., United States, New York, NY], ERIC C.R. HEHNER A PRACTICAL THEORY OF PROGRAMMING MONOGRAPHS IN COMPUTER SCIENCE, There a… Plus…
AbeBooks.de WorldofBooks20, GORING BY SEA, United Kingdom [64841603] [Rating: 4 (von 5)] NEW BOOK. Frais d'envoi EUR 23.19 Details... |
2012, ISBN: 1461264448
[EAN: 9781461264446], Neubuch, [SC: 0.0], [PU: Springer New York], CONTROL; DATASTRUCTURES; DESIGN; DEVELOPMENT; FUNCTIONALLANGUAGE; PROGRAMMINGLANGUAGE; SOFTWARE; TIME; VERIFICATION, Dru… Plus…
ZVAB.com AHA-BUCH GmbH, Einbeck, Germany [51283250] [Rating: 5 (von 5)] NEW BOOK. Frais d'envoiVersandkostenfrei. (EUR 0.00) Details... |
2012, ISBN: 1461264448
[EAN: 9781461264446], Neubuch, [PU: Springer-Verlag New York Inc., United States], Language: English. Brand new Book. There are several theories of programming. The first usable theory, o… Plus…
AbeBooks.de The Book Depository, London, United Kingdom [54837791] [Rating: 5 (von 5)] NEW BOOK. Frais d'envoi EUR 0.58 Details... |
ISBN: 9781461264446
There are several theories of programming. The first usable theory, often called "Hoare''s Logic", is still probably the most widely known. In it, a specification is a pair of predicates:… Plus…
Indigo.ca new in stock. Frais d'envoizzgl. Versandkosten., Livraison non-comprise Details... |
2012, ISBN: 9781461264446
Buch, Softcover, Softcover reprint of the original 1st ed. 1993, [PU: Springer-Verlag New York Inc.], Springer-Verlag New York Inc., 2012
lehmanns.de Frais d'envoiLieferbar. (EUR 0.00) Details... |
2012, ISBN: 1461264448
[EAN: 9781461264446], Neubuch, [PU: Springer-Verlag New York Inc., United States, New York, NY], ERIC C.R. HEHNER A PRACTICAL THEORY OF PROGRAMMING MONOGRAPHS IN COMPUTER SCIENCE, There a… Plus…
2012, ISBN: 1461264448
[EAN: 9781461264446], Neubuch, [SC: 0.0], [PU: Springer New York], CONTROL; DATASTRUCTURES; DESIGN; DEVELOPMENT; FUNCTIONALLANGUAGE; PROGRAMMINGLANGUAGE; SOFTWARE; TIME; VERIFICATION, Dru… Plus…
2012
ISBN: 1461264448
[EAN: 9781461264446], Neubuch, [PU: Springer-Verlag New York Inc., United States], Language: English. Brand new Book. There are several theories of programming. The first usable theory, o… Plus…
ISBN: 9781461264446
There are several theories of programming. The first usable theory, often called "Hoare''s Logic", is still probably the most widely known. In it, a specification is a pair of predicates:… Plus…
2012, ISBN: 9781461264446
Buch, Softcover, Softcover reprint of the original 1st ed. 1993, [PU: Springer-Verlag New York Inc.], Springer-Verlag New York Inc., 2012
Données bibliographiques du meilleur livre correspondant
Auteur: | |
Titre: | |
ISBN: |
Informations détaillées sur le livre - A Practical Theory of Programming
EAN (ISBN-13): 9781461264446
ISBN (ISBN-10): 1461264448
Version reliée
Livre de poche
Date de parution: 2012
Editeur: Springer-Verlag New York Inc.
Livre dans la base de données depuis 2014-02-11T17:19:22+01:00 (Paris)
Page de détail modifiée en dernier sur 2022-06-23T20:39:13+02:00 (Paris)
ISBN/EAN: 1461264448
ISBN - Autres types d'écriture:
1-4612-6444-8, 978-1-4612-6444-6
Autres types d'écriture et termes associés:
Auteur du livre: hehne, hehn, hehner, dijkstra
Titre du livre: practical theory, practical vim, programming
Données de l'éditeur
Auteur: Eric C.R. Hehner
Titre: Monographs in Computer Science; A Practical Theory of Programming
Editeur: Springer; Springer US
247 Pages
Date de parution: 2012-09-03
New York; NY; US
Imprimé / Fabriqué en
Langue: Anglais
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
POD
X, 247 p.
BC; Hardcover, Softcover / Informatik, EDV/Informatik; Software Engineering; Verstehen; control; data structures; design; development; functional programming; language; programming; programming language; software; time; verification; Software Engineering; BB; EA
1 Basic Theories.- Boolean Theory.- Number Theory.- Character Theory.- 2 Basic Data Structures.- Bunch Theory.- Set Theory.- String Theory.- List Theory.- 3 Function Theory.- Functions.- Quantifiers.- Function Fine Points.- 4 Program Theory.- Specifications.- Program Development.- Time.- Robustness.- Refinement in Place.- 5 Programming Language.- Scope.- Data Structures.- Control Structures.- Time Dependence.- Assertions.- Subprogram.- Alias.- Functional Programming.- 6 Recursive Definition.- Recursive Data Definition.- Recursive Program Definition.- Limits.- 7 Theory Design and Implementation.- Data Theories.- Program Theories.- Specification by Implementation.- 8 Concurrency.- Independent Composition.- Circuit Design.- Found Concurrency.- 9 Communication.- Implementability.- Input and Output.- Recursively Defined Communication.- Input Composition.- Reaction Controller.- Communicating Processes.- Power Series Multiplication.- 10 Exercises.- Basic Theories.- Basic Data Structures.- Function Theory.- Program Theory.- Programming Language.- Recursive Definition.- Theory Design and Implementation.- Concurrency.- Communication.- 11 Reference.- Justifications.- Sources.- Axioms and Laws.- Symbols and Names.- Precedence.Autres livres qui pourraient ressembler au livre recherché:
Dernier livre similaire:
9781441985965 A Practical Theory of Programming (Eric C. R. Hehner)
- 9781441985965 A Practical Theory of Programming (Eric C. R. Hehner)
- 9780387941066 A Practical Theory of Programming Eric C.R. Hehner Author (Eric C.R. Hehner)
- 9783540941064 A Practical Theory of Programming (Texts & Monographs in Computer Science... Texts and monographs in computer science (Hehner, Eric C. R.)
< pour archiver...