Um unseren Shop in vollem Umfang nutzen zu können, empfehlen wir Ihnen Javascript in Ihrem Browser zu aktivieren.
Haben Sie Fragen? Einfach anrufen, wir helfen gerne:
Tel. 089/210233-0
oder besuchen Sie
unser Ladengeschäft in der Pacellistraße 5
(Maxburg) 80333 München
+++
Versandkostenfreie Lieferung innerhalb Deutschlands
Haben Sie Fragen?
Tel. 089/210233-0
€
Euro
Fr CHF
€ EUR
Menü schließen
Ihr Konto
Anmelden
oder
registrieren
Übersicht
Persönliches Profil
Adressen
Zahlungsarten
Bestellungen
0,00 €*
Home
JURISTISCHE LITERATUR
STUDIENLITERATUR
DATENBANKEN
BEHÖRDEN
BECK ONLINE
INFORMATIONEN
Zur Kategorie STUDIENLITERATUR
Wichtige Studienliteratur
Prüfungszugelassene Titel
AGB
Datenschutz
Kontakt
Impressum
Über Uns
Service
Menü schließen
Home
JURISTISCHE LITERATUR
STUDIENLITERATUR
DATENBANKEN
BEHÖRDEN
BECK ONLINE
INFORMATIONEN
Zu "program refinement" wurden 7 Produkte gefunden
Filter
Filter
Nur Neuerscheinungen
Verlag
Springer Berlin (4)
Springer International Publishing (3)
Produktart
Kartoniert / Broschiert (7)
Herausgeber
Abadi, Martin Ito, Takayasu (1)
Bowen, Jonathan P. Hinchey, Michael G. Till, David (1)
Bowen, Jonathan P. Liu, Zhiming Zhang, Zili (3)
Groves, Lindsay Sun, Jing (1)
King, Andy (1)
Themengebiete
action calculi (1)
agent-based software development (1)
algebraic methods (1)
Algebraische Methoden (1)
algorithm (1)
algorithm analysis and problem complexity (1)
algorithms (1)
analysis (1)
calculus (1)
component-based software development (1)
composition (1)
computer systems (1)
concurrent systems (1)
denotational semantics (1)
formal methods (3)
formal reasoning (3)
formal specification (4)
formal verification (3)
Formale Spezifikation (1)
history of computing (2)
lambda calculus (1)
logic (3)
model checking (2)
modeling (1)
modelling languages (3)
object (1)
optimisation (1)
polymorphism (1)
program refinement (7)
program semantics (1)
programming (1)
programming language semantics (3)
Programmverfeinerung (1)
reactive systems (3)
real-time (1)
real-time systems (3)
symbolic computations (1)
Z notation (1)
Z-Notation (1)
Veröffentlichungsdatum
1997 (1)
2008 (1)
2013 (1)
2017 (1)
2018 (1)
2020 (1)
Sprache
Englisch (7)
HOME
Erscheinungsdatum
Name A-Z
Name Z-A
Preis aufsteigend
Preis absteigend
Beste Ergebnisse
Topseller
Logic-Based Program Synthesis and Transformation
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
In den Warenkorb
ZUM'97: The Z Formal Specification Notation
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
In den Warenkorb
Formal Methods and Software Engineering
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
In den Warenkorb
Theoretical Aspects of Computer Software
106,99 €*
Preise inkl. MwSt. zzgl. Versandkosten
In den Warenkorb
Engineering Trustworthy Software Systems
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
In den Warenkorb
Engineering Trustworthy Software Systems
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
In den Warenkorb
Engineering Trustworthy Software Systems
53,49 €*
Preise inkl. MwSt. zzgl. Versandkosten
In den Warenkorb
Diese Website verwendet Cookies, um eine bestmögliche Erfahrung bieten zu können.
Mehr Informationen ...
Nur technisch notwendige
Konfigurieren
Zurück