Dekorationsartikel gehören nicht zum Leistungsumfang.
Sprache:
Englisch
49,45 €*
Versandkostenfrei per Post / DHL
Lieferzeit 2-4 Werktage
Kategorien:
Beschreibung
The language.- Logical syntax.- The logic.- Proof rules.- Programming.- Rules for program statements.- Procedures.- Procedure rules.- Functions.- Function Rules.
The language.- Logical syntax.- The logic.- Proof rules.- Programming.- Rules for program statements.- Procedures.- Procedure rules.- Functions.- Function Rules.
Inhaltsverzeichnis
The language.- Logical syntax.- The logic.- Proof rules.- Programming.- Rules for program statements.- Procedures.- Procedure rules.- Functions.- Function Rules.
Details
Erscheinungsjahr: | 1982 |
---|---|
Genre: | Informatik, Mathematik, Medizin, Naturwissenschaften, Technik |
Rubrik: | Naturwissenschaften & Technik |
Medium: | Taschenbuch |
Reihe: | Lecture Notes in Computer Science |
Inhalt: |
x
314 S. |
ISBN-13: | 9783540114925 |
ISBN-10: | 3540114920 |
Sprache: | Englisch |
Ausstattung / Beilage: | Paperback |
Einband: | Kartoniert / Broschiert |
Autor: |
Constable, R. L.
Eichenlaub, C. D. Johnson, S. D. |
Hersteller: |
Springer Berlin
Springer Berlin Heidelberg Lecture Notes in Computer Science |
Verantwortliche Person für die EU: | Springer Verlag GmbH, Tiergartenstr. 17, D-69121 Heidelberg, juergen.hartmann@springer.com |
Maße: | 235 x 155 x 17 mm |
Von/Mit: | R. L. Constable (u. a.) |
Erscheinungsdatum: | 01.04.1982 |
Gewicht: | 0,47 kg |
Inhaltsverzeichnis
The language.- Logical syntax.- The logic.- Proof rules.- Programming.- Rules for program statements.- Procedures.- Procedure rules.- Functions.- Function Rules.
Details
Erscheinungsjahr: | 1982 |
---|---|
Genre: | Informatik, Mathematik, Medizin, Naturwissenschaften, Technik |
Rubrik: | Naturwissenschaften & Technik |
Medium: | Taschenbuch |
Reihe: | Lecture Notes in Computer Science |
Inhalt: |
x
314 S. |
ISBN-13: | 9783540114925 |
ISBN-10: | 3540114920 |
Sprache: | Englisch |
Ausstattung / Beilage: | Paperback |
Einband: | Kartoniert / Broschiert |
Autor: |
Constable, R. L.
Eichenlaub, C. D. Johnson, S. D. |
Hersteller: |
Springer Berlin
Springer Berlin Heidelberg Lecture Notes in Computer Science |
Verantwortliche Person für die EU: | Springer Verlag GmbH, Tiergartenstr. 17, D-69121 Heidelberg, juergen.hartmann@springer.com |
Maße: | 235 x 155 x 17 mm |
Von/Mit: | R. L. Constable (u. a.) |
Erscheinungsdatum: | 01.04.1982 |
Gewicht: | 0,47 kg |
Sicherheitshinweis