1993, ISBN: 0387941061
[EAN: 9780387941066], Neubuch, [SC: 0.0], [PU: Springer New York], CONTROL; DATA STRUCTURES; DESIGN; DEVELOPMENT; FUNCTIONAL LANGUAGE; PROGRAMMING SOFTWARE; TIME; VERIFICATION, Druck auf … Altro …
ZVAB.com AHA-BUCH GmbH, Einbeck, Germany [51283250] [Rating: 5 (von 5)] NEW BOOK. Costi di spedizione:Versandkostenfrei. (EUR 0.00) Details... |
ISBN: 9780387941066
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:… Altro …
BarnesandNoble.com new in stock. Costi di spedizione:zzgl. Versandkosten., Costi di spedizione aggiuntivi Details... |
ISBN: 9780387941066
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: … Altro …
Springer.com Nr. 978-0-387-94106-6. Costi di spedizione:Worldwide free shipping, , DE. (EUR 0.00) Details... |
A Practical Theory of Programming (Texts and Monographs in Computer Science). - copertina rigida, flessible
1993, ISBN: 0387941061
17,8 x 1,6 x 25,4 cm, hardcover. 257 p. Gebundene Ausgabe In very good condition. ISBN: 9780387941066 2, [PU:Springer,]
Achtung-Buecher.de Wissenschaftliches Antiquariat Thomas Haker e.K. Amtsgericht Freiburg, Registernummer: HRA 703494 A, 79771 Klettgau-Erzingen Costi di spedizione:Versandkostenfrei innerhalb der BRD. (EUR 0.00) Details... |
1993, ISBN: 0387941061
[EAN: 9780387941066], Neubuch, [PU: Springer], Clean and crisp and new!, Books
AbeBooks.de Welcome Back Books, Toledo, OH, U.S.A. [64434632] [Rating: 5 (von 5)] NEW BOOK. Costi di spedizione: EUR 36.35 Details... |
1993, ISBN: 0387941061
[EAN: 9780387941066], Neubuch, [SC: 0.0], [PU: Springer New York], CONTROL; DATA STRUCTURES; DESIGN; DEVELOPMENT; FUNCTIONAL LANGUAGE; PROGRAMMING SOFTWARE; TIME; VERIFICATION, Druck auf … Altro …
ISBN: 9780387941066
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:… Altro …
ISBN: 9780387941066
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: … Altro …
A Practical Theory of Programming (Texts and Monographs in Computer Science). - copertina rigida, flessible
1993, ISBN: 0387941061
17,8 x 1,6 x 25,4 cm, hardcover. 257 p. Gebundene Ausgabe In very good condition. ISBN: 9780387941066 2, [PU:Springer,]
1993, ISBN: 0387941061
[EAN: 9780387941066], Neubuch, [PU: Springer], Clean and crisp and new!, Books
Dati bibliografici del miglior libro corrispondente
Autore: | |
Titolo: | |
ISBN: |
Informazioni dettagliate del libro - A Practical Theory of Programming Eric C.R. Hehner Author
EAN (ISBN-13): 9780387941066
ISBN (ISBN-10): 0387941061
Copertina rigida
Copertina flessibile
Anno di pubblicazione: 1993
Editore: Springer New York Core >2 >T
260 Pagine
Peso: 0,688 kg
Lingua: eng/Englisch
Libro nella banca dati dal 2008-04-21T23:13:23+02:00 (Zurich)
Pagina di dettaglio ultima modifica in 2024-04-16T22:10:50+02:00 (Zurich)
ISBN/EAN: 9780387941066
ISBN - Stili di scrittura alternativi:
0-387-94106-1, 978-0-387-94106-6
Stili di scrittura alternativi e concetti di ricerca simili:
Autore del libro : eric, hehne, hehn, hehner, dijkstra
Titolo del libro: practical programming, practical theory, practical vim, monographs
Dati dell'editore
Autore: Eric C.R. Hehner
Titolo: Monographs in Computer Science; A Practical Theory of Programming
Editore: Springer; Springer US
247 Pagine
Anno di pubblicazione: 1993-08-06
New York; NY; US
Lingua: Inglese
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
Available
X, 247 p.
BB; Hardcover, Softcover / Informatik, EDV/Informatik; Software Engineering; Verstehen; control; data structures; design; development; functional programming; language; programming; programming language; software; time; verification; Software Engineering; BC
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.Altri libri che potrebbero essere simili a questo:
Ultimo libro simile:
9781441985965 A Practical Theory of Programming (Eric C. R. Hehner)
< Per archiviare...