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
From Control to Design
  • Hardcover
  • 280 Seiten
  • Erschienen 2008
  • Actar
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
From Control to Design
Sakamoto, Tomoko
4,24 €
Details
frontend/listing/product-box/box-product-slider.tpl
-9%
Engineering Design: A Systematic Approach
  • hardcover
  • 638 Seiten
  • Erschienen 2006
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Engineering Design: A Systematic Approach
Grote, Karl-Heinrich
87,22 € 96,29 €
Details
frontend/listing/product-box/box-product-slider.tpl
-75%
Algorithms and Data Structures
  • Hardcover
  • 300 Seiten
  • Erschienen 2008
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Algorithms and Data Structures
Mehlhorn, Kurt;Sanders, Peter;
15,78 € 64,19 €
Details
frontend/listing/product-box/box-product-slider.tpl
-33%
Struktur und Interpretation von Computerprogrammen: Eine Informatik-Einführung (Springer-Lehrbuch)
  • paperback
  • 705 Seiten
  • Erschienen 2001
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Struktur und Interpretation von...
Daniels-Herold, S.
26,87 € 39,99 €
Details
frontend/listing/product-box/box-product-slider.tpl
Entwurf von digitalen Schaltungen und Systemen mit HDLs und FPGAs
  • Hardcover
  • 568 Seiten
  • Erschienen 2013
  • Oldenbourg Wissenschaftsverlag
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Entwurf von digitalen Schaltungen und Systemen...
Bartholomä, Ruben;Kesel, Fr...
23,77 €
Details
frontend/listing/product-box/box-product-slider.tpl
-76%
Principles of Concurrent and Distributed Programming
  • Hardcover
  • 384 Seiten
  • Erschienen 2005
  • Addison Wesley
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Principles of Concurrent and Distributed...
Ben-Ari, M.
16,70 € 68,47 €
Details
frontend/listing/product-box/box-product-slider.tpl
-80%
Data Design
  • Hardcover
  • 176 Seiten
  • Erschienen 2015
  • Bloomsbury Visual Arts
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Data Design
Mollerup, Per
7,98 € 39,50 €
Details
frontend/listing/product-box/box-product-slider.tpl
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
4,50 €
Details
frontend/listing/product-box/box-product-slider.tpl
-62%
C Interfaces and Implementations
  • Hardcover
  • 544 Seiten
  • Erschienen 1997
  • Addison-Wesley Longman, Ams...
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
C Interfaces and Implementations
Hanson, David
18,95 € 49,50 €
Details
frontend/listing/product-box/box-product-slider.tpl
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
14,79 €
Details
frontend/listing/product-box/box-product-slider.tpl
Functional and Reactive Domain Modeling
  • paperback
  • 320 Seiten
  • Erschienen 2016
  • Manning
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Functional and Reactive Domain Modeling
Ghosh, Debasish
15,99 €
Details
frontend/listing/product-box/box-product-slider.tpl
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
6,08 €
Details
frontend/listing/product-box/box-product-slider.tpl
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...
4,36 €
Details
frontend/listing/product-box/box-product-slider.tpl
System Level Esd Co-Design
  • Hardcover
  • 424 Seiten
  • Erschienen 2015
  • IEEE
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
System Level Esd Co-Design
-
24,77 €
Details
frontend/listing/product-box/box-product-slider.tpl
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.
4,90 €
Details
frontend/listing/product-box/box-product-slider.tpl
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
5,26 €
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.
12,82 €
Details
frontend/listing/product-box/box-product-slider.tpl
Modeling in Event-B
  • Hardcover
  • 614 Seiten
  • Erschienen 2010
  • Cambridge University Press
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Modeling in Event-B
Abrial, Jean-Raymond
24,98 €
Details
frontend/listing/product-box/box-product-slider.tpl
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.
22,73 €
Details
frontend/listing/product-box/box-product-slider.tpl
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.
18,92 €
Details
frontend/listing/product-box/box-product-slider.tpl
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
16,76 €
Details
frontend/listing/product-box/box-product-slider.tpl
Schaum's Outline of Logic, Second Edition
  • Hardcover
  • 336 Seiten
  • Erschienen 2011
  • McGraw Hill
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Schaum's Outline of Logic, Second Edition
Nolt, John;Rohatyn, Dennis;...
11,02 €
Details
frontend/listing/product-box/box-product-slider.tpl
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.
12,71 €
Details
frontend/listing/product-box/box-product-slider.tpl
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
16,19 €
Details
frontend/listing/product-box/box-product-slider.tpl
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...
-
67,58 €
Details
frontend/listing/product-box/box-product-slider.tpl
Proof Theory
  • Hardcover
  • 228 Seiten
  • Erschienen 1989
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Proof Theory
Pohlers, Wolfram
27,81 €
Details
frontend/listing/product-box/box-product-slider.tpl
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
4,56 €
Details
frontend/listing/product-box/box-product-slider.tpl
Proof Theory in Computer Science
  • Hardcover
  • 256 Seiten
  • Erschienen 2001
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Proof Theory in Computer Science
-
20,75 €
Details
frontend/listing/product-box/box-product-slider.tpl
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.
26,32 €
Details
frontend/listing/product-box/box-product-slider.tpl
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
5,82 €
Details
frontend/listing/product-box/box-product-slider.tpl
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
26,00 €
Details
frontend/listing/product-box/box-product-slider.tpl
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
12,97 €
Details
frontend/listing/product-box/box-product-slider.tpl
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
6,38 €
Details
frontend/listing/product-box/box-product-slider.tpl
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
8,91 €
Details
frontend/listing/product-box/box-product-slider.tpl
Leda: A Platform for Combinatorial and Geometric Computing
  • hardcover
  • 1034 Seiten
  • Erschienen 2000
  • Cambridge University Press
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Leda: A Platform for Combinatorial and...
Naher, Stefan
74,65 €
Details
frontend/listing/product-box/box-product-slider.tpl
Programming Languages: Concepts and Constructs: Concepts and Constructs: United States Edition
  • paperback
  • 640 Seiten
  • Erschienen 1996
  • Pearson
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Programming Languages: Concepts and Constructs:...
Sethi, Ravi
19,28 €
Details
frontend/listing/product-box/box-product-slider.tpl
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
44,79 €
Details
frontend/listing/product-box/box-product-slider.tpl
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
100,21 €
Details
frontend/listing/product-box/box-product-slider.tpl
Design Concepts in Programming Languages
  • hardcover
  • 1322 Seiten
  • Erschienen 2008
  • MIT Press
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Design Concepts in Programming Languages
Sheldon, Mark A.
80,45 €
Details
frontend/listing/product-box/box-product-slider.tpl
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
29,28 €
Details