LeafKlimaneutrales Unternehmen CoinFaire Preise PackageSchneller und kostenloser Versand ab 14,90 € Bestellwert
Gebrauchte & Neue Bücher
Keine Versandkosten
Nachhaltiges Unternehmen
Springer-Verlag GmbH
Deductive Program Design

Deductive Program Design

Broy, Manfred

inkl. MwSt. Versandinformationen

Artikel zZt. nicht lieferbar

Artikel zZt. nicht lieferbar

Kurzinformation
Sprache:
Englisch
ISBN:
3540609474
Verlag:
Springer-Verlag GmbH
Seitenzahl:
467
Auflage:
-
Erschienen:
1996-06-18
Dieser Artikel steht derzeit nicht zur Verfügung!

Gebrauchte Bücher kaufen

Information
Das Buch befindet sich in einem sehr guten, unbenutzten Zustand.
Information
Das Buch befindet sich in einem sehr guten, gelesenen Zustand. Die Seiten und der Einband sind intakt. Buchrücken/Ecken/Kanten können leichte Gebrauchsspuren aufweisen.
Information
Das Buch befindet sich in einem guten, gelesenen Zustand. Die Seiten und der Einband sind intakt. Buchrücken/Ecken/Kanten können Knicke/Gebrauchsspuren aufweisen.
Information
Das Buch befindet sich in einem lesbaren Zustand. Die Seiten und der Einband sind intakt, jedoch weisen Buchrücken/Ecken/Kanten starke Knicke/Gebrauchsspuren auf. Zusatzmaterialien können fehlen.

Neues Buch oder eBook (pdf) kaufen

Information
Neuware - verlagsfrische aktuelle Buchausgabe.
Neu bei lehmanns bestellen
Natural Handgeprüfte Gebrauchtware
Coins Schnelle Lieferung
Check Faire Preise

inkl. MwSt. Versandinformationen

Artikel zZt. nicht lieferbar

Artikel zZt. nicht lieferbar

Weitere Zahlungsmöglichkeiten  
Zahlungsarten

Beschreibung

Deductive Program Design

Advanced research on the description of distributed systems and on design calculi for software and hardware is presented in this volume. Distinguished researchers give an overview of the latest state of the art. von Broy, Manfred

Produktdetails

Einband:
Gebunden
Seitenzahl:
467
Erschienen:
1996-06-18
Sprache:
Englisch
EAN:
9783540609476
ISBN:
3540609474
Verlag:
Springer-Verlag GmbH
Gewicht:
848 g
Auflage:
-
Alle gebrauchten Bücher werden von uns handgeprüft.
So garantieren wir Dir zu jeder Zeit Premiumqualität.

Über den Autor

Broy, Manfred

Entdecke mehr vom Verlag

Springer-Verlag GmbH
Neu
213,99 €
Entdecke mehr zum Thema
frontend/listing/product-box/box-product-slider.tpl
-75%
Advanced Programming Language Design
  • hardcover
  • 496 Seiten
  • Erschienen 1995
  • Pearson Education (US)
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Advanced Programming Language Design
Finkel, Raphael
38,34 € 153,50 €
Details
frontend/listing/product-box/box-product-slider.tpl
-46%
Programming for Design: From Theory to Practice
  • hardcover
  • 352 Seiten
  • Erschienen 1998
  • Wiley
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Programming for Design: From Theory to Practice
Cherry, Edith
42,38 € 77,90 €
Details
frontend/listing/product-box/box-product-slider.tpl
-79%
Taligent's Guide to Designing Programs: Well-Mannered Object-Oriented Design in C++
  • paperback
  • 144 Seiten
  • Erschienen 1994
  • Addison Wesley
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Taligent's Guide to Designing Programs:...
Taligent
5,76 € 27,77 €
Details
frontend/listing/product-box/box-product-slider.tpl
-89%
Logik und Logikprogrammierung (Kolleg Synchron)
  • paperback
  • 312 Seiten
  • Erschienen 2003
  • Synchron
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Logik und Logikprogrammierung (Kolleg Synchron)
Hölldobler, Steffen
3,35 € 29,80 €
Details
frontend/listing/product-box/box-product-slider.tpl
Programming Languages: Design and Implementation
  • paperback
  • 604 Seiten
  • Erschienen 1984
  • Longman Higher Education
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Programming Languages: Design and Implementation
Pratt, Terence W.
5,69 €
Details
frontend/listing/product-box/box-product-slider.tpl
-83%
Elementary Induction on Abstract Structures
  • Taschenbuch
  • 242 Seiten
  • Erschienen 2008
  • Dover Pubn Inc
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Elementary Induction on Abstract Structures
Moschovakis, Yiannis N
2,58 € 15,00 €
Details
frontend/listing/product-box/box-product-slider.tpl
-50%
Mastering the Instructional Design Process: A Systematic Approach
  • Hardcover
  • 432 Seiten
  • Erschienen 2016
  • Pfeiffer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Mastering the Instructional Design Process: A...
Rothwell, William J.;Bensco...
43,61 € 86,50 €
Details
frontend/listing/product-box/box-product-slider.tpl
-86%
Pattern Languages of Program Design
  • paperback
  • 576 Seiten
  • Erschienen 1995
  • Addison Wesley
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Pattern Languages of Program Design
Schmidt, Douglas
7,41 € 53,50 €
Details
frontend/listing/product-box/box-product-slider.tpl
-85%
Proof Theory
  • Hardcover
  • 228 Seiten
  • Erschienen 1989
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Proof Theory
Pohlers, Wolfram
12,35 € 80,24 €
Details
frontend/listing/product-box/box-product-slider.tpl
-82%
Datenbank-Design (Springers Angewandte Informatik)
  • paperback
  • 188 Seiten
  • Erschienen 2013
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Datenbank-Design (Springers Angewandte Informatik)
Kudlich, Hermann
10,05 € 54,99 €
Details
frontend/listing/product-box/box-product-slider.tpl
-83%
Modernes C++ Design: Generische Programmierung und Entwurfsmuster angewendet (mitp Professional)
  • paperback
  • 424 Seiten
  • Erschienen 2003
  • mitp
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Modernes C++ Design: Generische Programmierung...
Vlissides, John
2,83 € 16,99 €
Details
frontend/listing/product-box/box-product-slider.tpl
-86%
Practical Aspects of Declarative Languages: First International Workshop, PADL'99, San Antonio, Texas, USA, January 18-19, 1999, Proceedings (Lecture Notes in Computer Science, 1551, Band 1551)
  • paperback
  • 384 Seiten
  • Erschienen 2008
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Practical Aspects of Declarative Languages:...
Gupta, Gopal
7,75 € 57,23 €
Details
frontend/listing/product-box/box-product-slider.tpl
-83%
Metamathematical Investigation of Intuitionistic Arithmetic and Analysis
  • Hardcover
  • 504 Seiten
  • Erschienen 1973
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Metamathematical Investigation of...
Troelstra, Anne S.
11,69 € 69,54 €
Details
frontend/listing/product-box/box-product-slider.tpl
-97%
Logic Programming and Databases (Surveys in Computer Science)
  • hardcover
  • 297 Seiten
  • Erschienen 1990
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Logic Programming and Databases (Surveys in...
Tanca, Letizia
2,70 € 85,55 €
Details
frontend/listing/product-box/box-product-slider.tpl
-94%
Ten Steps to Complex Learning: A Systematic Approach to Four-Component Instructional Design
  • paperback
  • 344 Seiten
  • Erschienen 2012
  • Routledge
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Ten Steps to Complex Learning: A Systematic...
Kirschner, Paul A.
2,28 € 37,69 €
Details
frontend/listing/product-box/box-product-slider.tpl
-80%
Introduction to Compiler Design: An Object-Oriented Approach Using Java®
  • paperback
  • 302 Seiten
  • Erschienen 2020
  • SoftMoore Consulting
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Introduction to Compiler Design: An...
Moore, John I.
10,10 € 50,20 €
Details
frontend/listing/product-box/box-product-slider.tpl
-42%
Logic Programming and Databases (Surveys in Computer Science)
  • paperback
  • 304 Seiten
  • Erschienen 2011
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Logic Programming and Databases (Surveys in...
Tanca, Letizia
46,33 € 80,24 €
Details
frontend/listing/product-box/box-product-slider.tpl
-39%
An Outline of Mathematical Logic: Fundamental Results and Notions Explained with all Details (Synthese Library, 70, Band 70)
  • microfilm
  • 606 Seiten
  • Erschienen 1974
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
An Outline of Mathematical Logic: Fundamental...
Zawadowski, Waclaw
51,76 € 85,55 €
Details
frontend/listing/product-box/box-product-slider.tpl
-84%
Automated and Algorithmic Debugging
  • Hardcover
  • 388 Seiten
  • Erschienen 1993
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Automated and Algorithmic Debugging
Fritzson, Peter A.
8,40 € 53,49 €
Details
frontend/listing/product-box/box-product-slider.tpl
-80%
Complex and Derived Constructions
  • Hardcover
  • 500 Seiten
  • Erschienen 1997
  • De Gruyter Mouton
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Complex and Derived Constructions
Dik, Simon C.;
28,40 € 139,95 €
Details
frontend/listing/product-box/box-product-slider.tpl
-83%
Proof Theory in Computer Science
  • Hardcover
  • 256 Seiten
  • Erschienen 2001
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Proof Theory in Computer Science
-
9,22 € 53,49 €
Details
frontend/listing/product-box/box-product-slider.tpl
Introduction to Mathematical Logic (University Series in Undergraduate Mathematics)
  • textbook
  • 300 Seiten
  • Erschienen 1964
  • Van Nostrand Reinhold
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Introduction to Mathematical Logic (University...
Mendelson, Elliott
15,92 €
Details
frontend/listing/product-box/box-product-slider.tpl
-92%
Extensional Gödel Functional Interpretation
  • Hardcover
  • 172 Seiten
  • Erschienen 1973
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Extensional Gödel Functional Interpretation
Luckhardt, Horst
2,03 € 26,74 €
Details
frontend/listing/product-box/box-product-slider.tpl
Logik und Logikprogrammierung Band 2: Aufgaben und Lösungen
  • Kartoniert
  • 474 Seiten
  • Erschienen 2011
  • Synchron
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Logik und Logikprogrammierung Band 2: Aufgaben...
Hölldobler, Steffen
65,27 €
Details
frontend/listing/product-box/box-product-slider.tpl
-59%
Logik und Programmieren in Logik: Eine Einführung in die Sprache Prolog (Prentice Hall (dt. Titel))
  • paperback
    • -
  • Erschienen 1995
  • Markt+Technik Verlag
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Logik und Programmieren in Logik: Eine...
-
8,08 € 19,95 €
Details
frontend/listing/product-box/box-product-slider.tpl
-60%
Programmieren in Prolog (Informationstechnik und Datenverarbeitung)
  • paperback
  • 345 Seiten
  • Erschienen 1990
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Programmieren in Prolog (Informationstechnik...
Sterner, Heinz
19,89 € 49,95 €
Details
frontend/listing/product-box/box-product-slider.tpl
-10%
The Science of Programming (Monographs in Computer Science)
  • paperback
  • 381 Seiten
  • Erschienen 1991
  • Springer Berlin
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
The Science of Programming (Monographs in...
Gries, David
40,43 € 44,89 €
Details
frontend/listing/product-box/box-product-slider.tpl
-46%
Design It!: From Programmer to Software Architect (The Pragmatic Programmers)
  • Kartoniert
  • 335 Seiten
  • Erschienen 2017
  • Pragmatic Bookshelf
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Design It!: From Programmer to Software...
Keeling, Michael
22,75 € 42,50 €
Details
frontend/listing/product-box/box-product-slider.tpl
-83%
Proof Theory and Intuitionistic Systems
  • Hardcover
  • 300 Seiten
  • Erschienen 1971
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Proof Theory and Intuitionistic Systems
Scarpellini, Bruno
7,19 € 42,75 €
Details
frontend/listing/product-box/box-product-slider.tpl
-47%
Programming Languages: Paradigm and Practice (McGraw-Hill Computer Science Series)
  • paperback
  • 444 Seiten
  • Erschienen 1997
  • Mcgraw-Hill Professional
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Programming Languages: Paradigm and Practice...
Vandekopple, Julius J.
58,28 € 110,96 €
Details
frontend/listing/product-box/box-product-slider.tpl
-31%
A Course in Mathematical Logic for Mathematicians (Graduate Texts in Mathematics, 53, Band 53)
  • hardcover
  • 404 Seiten
  • Erschienen 2009
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
A Course in Mathematical Logic for...
Koblitz
44,98 € 65,38 €
Details
frontend/listing/product-box/box-product-slider.tpl
-85%
Software Abstractions: Logic, Language, And Analysis
  • hardcover
  • 350 Seiten
  • Erschienen 2006
  • MIT Press
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Software Abstractions: Logic, Language, And...
Jackson, Daniel
7,45 € 48,15 €
Details
frontend/listing/product-box/box-product-slider.tpl
Concepts of Programming Languages: United States Edition
  • hardcover
  • 720 Seiten
  • Erschienen 2001
  • Pearson
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Concepts of Programming Languages: United...
Sebesta, Robert W.
11,93 €
Details
frontend/listing/product-box/box-product-slider.tpl
-71%
Engineering Design: A Systematic Approach
  • Gebunden
  • 617 Seiten
  • Erschienen 2006
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Engineering Design: A Systematic Approach
Pahl, Gerhard und Beitz, Wo...
27,68 € 96,29 €
Details
frontend/listing/product-box/box-product-slider.tpl
-90%
Systems of Logic
  • Taschenbuch
  • 336 Seiten
  • Erschienen 2009
  • Cambridge University Press
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Systems of Logic
Martin, Norman M.
5,65 € 57,90 €
Details
frontend/listing/product-box/box-product-slider.tpl
Programming Language Syntax and Semantics (Prentice-Hall International Series in Computer Science)
  • paperback
  • 389 Seiten
  • Erschienen 1996
  • Pearson Education Limited
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Programming Language Syntax and Semantics...
Thomas, Muffy
66,97 €
Details
frontend/listing/product-box/box-product-slider.tpl
The balance of situated action and formal instruction for learning conditional reasoning
  • paperback
  • 153 Seiten
  • Erschienen 1995
  • -
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
The balance of situated action and formal...
Jelke van der Pal
58,90 €
Details
frontend/listing/product-box/box-product-slider.tpl
-14%
Learning to Code – An Invitation to Computer Science Through the Art and Patterns of Nature (Snap! Edition)
  • paperback
  • 176 Seiten
  • Erschienen 2021
  • Constructing Modern Knowled...
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Learning to Code – An Invitation to Computer...
Thornburg PhD, David D.
16,72 € 19,51 €
Details
frontend/listing/product-box/box-product-slider.tpl
-82%
Design technischer Produkte, Produktprogramme und -systeme
  • Gebunden
  • 396 Seiten
  • Erschienen 2005
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Design technischer Produkte, Produktprogramme...
Seeger, Hartmut
21,04 € 119,99 €
Details
frontend/listing/product-box/box-product-slider.tpl
-48%
New Challenges for Data Design
  • Gebunden
  • 447 Seiten
  • Erschienen 2015
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
New Challenges for Data Design
Bihanic, David
83,44 € 160,49 €
Details