Um unseren Shop in vollem Umfang nutzen zu können, empfehlen wir Ihnen Javascript in Ihrem Browser zu aktivieren.

Herzlich Willkommen!

Bitte wählen Sie Ihr Versandland aus:

Mehr Infos: Haupt Newsletter

Mehr Bücher: Haupt Buchhandlung

Ihr Konto

Anmelden

oder registrieren

Übersicht Persönliches Profil Adressen Zahlungsarten Bestellungen

0,00 CHF*

TEMP für Tests Events

Zur Kategorie Natur

Neuerscheinungen

Garten

Pflanzen & Pilze

Flora Helvetica

Tiere

Natur- und Wanderführer

Natur entdecken mit Kindern

Erde / Klima / Wasser

Astronomie

Umwelt / Ökologie

Spiele / Puzzles

Apps

Zur Kategorie Geschichte

Neuerscheinungen

Wissenschaftsgeschichte

Kulturgeschichte

Naturgeschichte

Zur Kategorie Gestalten

Neuerscheinungen

Gestalten mit Kindern

Druck / Papier

Schrift / Kunst / Zeichnen

Holz

Keramik / Glas

Metall / Stein

Schmuck

Färben

Mode / Textildesign

Textile Techniken

Wohnen / DIY

Zur Kategorie Fachbuch

Neuerscheinungen

Umwelt / Ökologie

Land- und Forstwirtschaft

NPO-Management

Management

Soziale Arbeit

Pädagogik

Haupt bei UTB

Zur Kategorie Aktuell

Magazin

Veranstaltungen

Newsletter

Zur Kategorie Service

Über uns

Team

Für den Handel

Für Presse / Medien

Für Autor:innen

Rights

Haupt Buchhandlung

Kontakt

Fr CHF

€ EUR

Kategorien

Natur
Geschichte
Gestalten
Fachbuch
Aktuell
Service
TEMP für Test APPS
TEMP für Tests Events

Zu "Hoare logic" wurden 6 Produkte gefunden

Suchergebnis | hauptverlag

Filter

Springer International Publishing (6)

Gebunden (1)
Kartoniert / Broschiert (5)

D'Souza, Deepak Narayan Kumar, K. (1)
Feng, Xinyu Park, Sungwoo (1)
Gurfinkel, Arie Seshia, Sanjit A. (1)
Ribeiro, Pedro Sampaio, Augusto (1)

Nipkow, Tobias Klein, Gerwin (2)

Abstract interpretation (3)
Algebraic semantics (1)
artificial intelligence (1)
assertion checking (1)
Automated reasoning (4)
automated reasoning (1)
automated static analysis (1)
benchmarks (1)
Compilers (3)
Complexity theory and logic (1)
computer architecture (1)
Computer programming (1)
Computer science (1)
Concurrency (1)
Concurrency and parallelism (1)
Concurrent Separation Logic (1)
Constraints (1)
Denotational semantics (3)
Dynamic analysis (1)
dynamic analysis (1)
Dynamic language (1)
Functional languages (1)
Functional programming (2)
Hardware (1)
higher-order logic (1)
Hoare logic (6)
hybrid systems (1)
Induction (2)
Isabelle (2)
Logic (2)
logic and verification (1)
Logical reasoning (2)
modal and temporal logics (1)
Model checking (1)
programming languages (1)
programming logic (1)
software engineering (1)
software verification (1)
software verification and validation (1)
theorem proving (1)
verification by model checking (1)

2014 (1)
2015 (1)
2016 (1)
2017 (1)
2019 (1)

Englisch (6)

Automated Technology for Verification and Analysis

53,50 CHF*

Programming Languages and Systems

53,50 CHF*

Verified Software: Theories, Tools, and Experiments

53,50 CHF*

Concrete Semantics

53,50 CHF*

Unifying Theories of Programming

53,50 CHF*

Concrete Semantics

80,25 CHF*

HAUPT VERLAG AG

Falkenplatz 143012 BernSchweiz

Buchhandlung: +41 31 309 09 09 Verlag: +41 31 309 09 00 bestellung@haupt.ch

INFOMATIONEN

Hilfe A-Z
Unsere Preise
Zahlung und Lieferung
Widerrufsrecht
Warenkorb
Konto

KUNDENSERVICE

Kontakt
Impressum
AGB
Datenschutz
Cookie-Einstellungen
Newsletter

ÜBER HAUPT

Über uns
Team
Haupt Buchhandlung
Jobs
So finden Sie uns..

FOLGEN SIE UNS AUF

Kostenloser Versand in CH/FL/DE ab 50 CHF/€

Kauf auf Rechnung (CH/FL)

Online Bezahlen:

* Alle Preise inkl. gesetzl. Mehrwertsteuer zzgl. Versandkosten und ggf. Nachnahmegebühren, wenn nicht anders angegeben.

Realisiert von der eurosoft Informationstechnologie GmbH mit Shopware

Diese Website verwendet Cookies, um eine bestmögliche Erfahrung bieten zu können. Mehr Informationen ...