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
-59%
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
62,30 € 153,50 €
Details
frontend/listing/product-box/box-product-slider.tpl
-96%
Design Thinking Research
  • Hardcover
  • 300 Seiten
  • Erschienen 2014
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Design Thinking Research
-
6,11 € 160,49 €
Details
frontend/listing/product-box/box-product-slider.tpl
-66%
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
9,37 € 27,77 €
Details
frontend/listing/product-box/box-product-slider.tpl
-78%
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
6,43 € 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.
9,25 €
Details
frontend/listing/product-box/box-product-slider.tpl
-72%
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
4,20 € 15,00 €
Details
frontend/listing/product-box/box-product-slider.tpl
-77%
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
12,04 € 53,50 €
Details
frontend/listing/product-box/box-product-slider.tpl
-95%
Software Design (International Computer Science)
  • paperback
  • 400 Seiten
  • Erschienen 1994
  • Pearson Education Limited
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Software Design (International Computer Science)
Budgen, David
3,80 € 74,90 €
Details
frontend/listing/product-box/box-product-slider.tpl
-75%
Proof Theory
  • Hardcover
  • 228 Seiten
  • Erschienen 1989
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Proof Theory
Pohlers, Wolfram
20,07 € 80,24 €
Details
frontend/listing/product-box/box-product-slider.tpl
-94%
Design Patterns (Wordware Applications Library)
  • paperback
  • 286 Seiten
  • Erschienen 2006
  • Jones and Bartlett Publishe...
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Design Patterns (Wordware Applications Library)
Lasater, Christopher G.
3,53 € 55,00 €
Details
frontend/listing/product-box/box-product-slider.tpl
-70%
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
16,32 € 54,99 €
Details
frontend/listing/product-box/box-product-slider.tpl
-73%
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
4,60 € 16,99 €
Details
frontend/listing/product-box/box-product-slider.tpl
-73%
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.
19,00 € 69,54 €
Details
frontend/listing/product-box/box-product-slider.tpl
-91%
Handbook of Logic in Artificial Intelligence and Logic Programming
  • Hardcover
  • 534 Seiten
  • Erschienen 1993
  • Oxford Univ Pr
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Handbook of Logic in Artificial Intelligence...
-
44,69 € 496,50 €
Details
frontend/listing/product-box/box-product-slider.tpl
-95%
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
4,39 € 85,55 €
Details
frontend/listing/product-box/box-product-slider.tpl
-67%
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.
16,41 € 50,20 €
Details
frontend/listing/product-box/box-product-slider.tpl
-42%
Data-oriented design: software engineering for limited resources and short schedules
  • paperback
  • 307 Seiten
  • Erschienen 2018
  • Richard Fabian
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Data-oriented design: software engineering for...
Fabian, Mr Richard
18,77 € 32,09 €
Details
frontend/listing/product-box/box-product-slider.tpl
-2%
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
84,12 € 85,55 €
Details
frontend/listing/product-box/box-product-slider.tpl
-90%
User needs by Systematic Elaboration (USE)
  • Hardcover
  • 136 Seiten
  • Erschienen 2022
  • Springer International Publ...
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
User needs by Systematic Elaboration (USE)
Heijs, Wim
10,67 € 106,99 €
Details
frontend/listing/product-box/box-product-slider.tpl
-74%
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.
13,66 € 53,49 €
Details
frontend/listing/product-box/box-product-slider.tpl
-67%
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.;
46,15 € 139,95 €
Details
frontend/listing/product-box/box-product-slider.tpl
-72%
Proof Theory in Computer Science
  • Hardcover
  • 256 Seiten
  • Erschienen 2001
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Proof Theory in Computer Science
-
14,98 € 53,49 €
Details
frontend/listing/product-box/box-product-slider.tpl
Design Theory
  • hardcover
  • 688 Seiten
  • Erschienen 1985
  • Bibliographisches Institut
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Design Theory
Lenz, Hanfried
3,36 €
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
25,87 €
Details
frontend/listing/product-box/box-product-slider.tpl
-89%
System Level Esd Co-Design
  • Hardcover
  • 424 Seiten
  • Erschienen 2015
  • IEEE
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
System Level Esd Co-Design
-
17,88 € 156,50 €
Details
frontend/listing/product-box/box-product-slider.tpl
-88%
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
3,29 € 26,74 €
Details
frontend/listing/product-box/box-product-slider.tpl
-33%
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...
-
13,42 € 19,95 €
Details
frontend/listing/product-box/box-product-slider.tpl
-93%
Programmierung - eine Einführung in die Informatik mit Standard ML
  • Hardcover
    • -
  • Erschienen 2011
  • De Gruyter Oldenbourg
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Programmierung - eine Einführung in die...
Smolka, Gert
3,25 € 44,95 €
Details
frontend/listing/product-box/box-product-slider.tpl
-35%
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
32,33 € 49,95 €
Details
frontend/listing/product-box/box-product-slider.tpl
-40%
C++, UML und Design Patterns
  • Hardcover
  • 1176 Seiten
  • Erschienen 2005
  • Addison-Wesley Verlag
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
C++, UML und Design Patterns
Herold, Helmut;Klar, Michae...
35,89 € 59,95 €
Details
frontend/listing/product-box/box-product-slider.tpl
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
65,71 €
Details
frontend/listing/product-box/box-product-slider.tpl
-73%
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
11,69 € 42,75 €
Details
frontend/listing/product-box/box-product-slider.tpl
-15%
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.
94,71 € 110,96 €
Details
frontend/listing/product-box/box-product-slider.tpl
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
73,10 €
Details
frontend/listing/product-box/box-product-slider.tpl
-75%
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
12,10 € 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.
19,39 €
Details
frontend/listing/product-box/box-product-slider.tpl
-53%
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...
44,99 € 96,29 €
Details
frontend/listing/product-box/box-product-slider.tpl
-84%
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.
9,18 € 57,90 €
Details
frontend/listing/product-box/box-product-slider.tpl
-98%
Domain-Specific Modeling
  • Hardcover
  • 444 Seiten
  • Erschienen 2008
  • Wiley-IEEE Computer Society...
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Domain-Specific Modeling
Kelly, Steven;Tolvanen, Juh...
3,15 € 135,50 €
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
108,83 €
Details