Theories of Programming and Formal Methods

Huibiao Zhu, Jim Woodcock, Zhiming Liu, 2013
Bewertungen
MarkeMehr von Springer
Zwischen 8.1.2026 und 13.1.2026 geliefert
Mehr als 10 Stück an Lager beim Lieferanten
Kostenloser Versand ab 50.–

Produktinformationen

Das Buch "Theories of Programming and Formal Methods" ist eine Festschrift, die zu Ehren von He Jifeng anlässlich seines 70. Geburtstags im September 2013 veröffentlicht wurde. Es umfasst 24 begutachtete Beiträge von führenden Forschenden, die während eines feierlichen Symposiums in Shanghai, China, im Rahmen des 10. Internationalen Kolloquiums über Theoretische Aspekte des Rechnens (ICTAC 2013) präsentiert wurden. Die Beiträge decken ein breites Spektrum an Themen ab, das von grundlegenden und theoretischen Fragestellungen bis hin zu Programmen, Systemfragen und Anwendungen reicht. Zu den behandelten Themen gehören formale Methoden, Software- und Systemmodellierung, Semantik, Programmiergesetze, Spezifikation und Verifikation sowie Logik. He Jifeng ist bekannt für seine wegweisenden Arbeiten in den Theorien des Programmierens und formalen Methoden in der Softwaretechnik, insbesondere für die Unifying Theories of Programming (UTP).

Das Wichtigste auf einen Blick

Bucheinband
Kartonierter Einband
Autor
Huibiao Zhu, Jim Woodcock, Zhiming Liu
Thema
Technik & IT
Jahr
2013
Artikelnummer
55525560

Allgemeine Informationen

Verlag
Springer
Kategorie
Fachbücher
Release-Datum
4.3.2025

Buch Eigenschaften

Thema
Technik & IT
Autor
Huibiao Zhu, Jim Woodcock, Zhiming Liu
Jahr
2013
Bucheinband
Kartonierter Einband

Herkunft

Ursprungsland
Niederlande

Freiwilliger Klimabeitrag

CO₂-Emission
Klimabeitrag

30 Tage Rückgaberecht wenn ungeöffnet
24 Monate Garantie (Bring-In)

Produkte vergleichen

Passend dazu

Bewertungen & Meinungen

Garantiefallquote

So oft weist ein Produkt dieser Marke in der Kategorie «Fachbücher» innerhalb der ersten 24 Monate einen Defekt auf.

Quelle: Digitec Galaxus
  • 46.Hogrefe
    0.1 %
  • 46.Penguin Random House
    0.1 %
  • 46.Springer
    0.1 %
  • 49.Ariston
    0.2 %
  • 49.Beck C.H.
    0.2 %

Garantiefalldauer

So lange dauert eine Abwicklung ab Ankunft bei der Servicestelle bis Wiedererhalt in Arbeitstagen im Durchschnitt.

Quelle: Digitec Galaxus
  • Springer
    Ungenügende Daten
  • Anaconda
    Ungenügende Daten
  • Ariston
    Ungenügende Daten
  • Avery Publishing Group
    Ungenügende Daten
  • Bacopa
    Ungenügende Daten

Leider haben wir für diese Kategorie aktuell noch nicht genügend Daten, um dir mehr Quoten anzuzeigen.

Rückgabequote

So oft wird ein Produkt dieser Marke in der Kategorie «Fachbücher» retourniert.

Quelle: Digitec Galaxus
  • 70.Oxford University Press
    1.2 %
  • 70.Simon & Schuster
    1.2 %
  • 70.Springer
    1.2 %
  • 70.Taylor & Francis
    1.2 %
  • 76.Anaconda
    1.3 %
Quelle: Digitec Galaxus