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 "denotational semantics" wurden 5 Produkte gefunden

Suchergebnis | hauptverlag

Filter

Springer Berlin (2)
Springer International Publishing (3)

Kartoniert / Broschiert (5)

Birkedal, Lars (1)
Bowen, Jonathan P. Zhu, Huibiao (1)
Cavalheiro, Simone Fiadeiro, José (1)
Groves, Lindsay Sun, Jing (1)
Martí-Oliet, Narciso Ölveczky, Peter Csaba Talcott, Carolyn (1)

algorithm analysis and problem complexity (1)
code generation (1)
concurrent systems (1)
context-sensitive rewriting (1)
Coq (1)
denotational semantics (5)
distributed systems (1)
event structures (1)
first-order logic (1)
formal languages (1)
formal methods (2)
global optimization (1)
HCSP (1)
high-performance computing (1)
hybrid systems (1)
information flow control (1)
integrated development environment (1)
interaction-oriented computing (1)
interpreters (1)
laws of programming (1)
learning (1)
linear logic (1)
logic (1)
Maude (1)
model analysis (1)
model checking (3)
model extraction (1)
program refinement (1)
programming language (1)
semantic languages (1)
semantic models (1)
software engineering (1)
symbolic computations (1)
temporal logic (1)

2012 (1)
2013 (1)
2015 (1)
2017 (1)

Englisch (5)

Foundations of Software Science and Computational Structures

53,50 CHF*

Formal Methods: Foundations and Applications

69,55 CHF*

Logic, Rewriting, and Concurrency

53,50 CHF*

Formal Methods and Software Engineering

53,50 CHF*

Unifying Theories of Programming

53,50 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 ...