Beschreibung
Herstellerkennzeichnung:
OmniScriptum SRL
Str. Armeneasca 28/1, office 1
2012 Chisinau
MD
E-Mail: info@omniscriptum.com
A Formal Definition of JML in Coq
Lieferzeit: Lieferbar innerhalb 14 Tagen
89,90 €
inkl. 7 % MwSt. zzgl. Versandkosten
and its Application to Runtime Assertion Checking
| ISBN: | 3838130642 |
|---|---|
| ISBN 13: | 9783838130644 |
| Autor: | Lehner, Hermann |
| Verlag: | Südwestdeutscher Verlag für |
| Umfang: | 236 S. |
| Erscheinungsdatum: | 06.07.2015 |
| Auflage: | 1/2015 |
| Format: | 1.5 x 22 x 15 |
| Gewicht: | 369 g |
| Produktform: | Kartoniert |
| Einband: | Kartoniert |
Das könnte Ihnen auch gefallen …
-
![Produktbild: Formal Grammar]()
Formal Grammar
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Eisblaue Augen. Life is a Story - story.one]()
Eisblaue Augen. Life is a Story – story.one
18,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Demography]()
Formal Demography
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Grammar]()
Formal Grammar
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: The Operational Use of Remote Sensing in Municipalities]()
The Operational Use of Remote Sensing in Municipalities
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Erfolgreiches Beschwerdemanagement in der Altenhilfe: Definition, Ziele und Prozesse]()
Erfolgreiches Beschwerdemanagement in der Altenhilfe: Definition, Ziele und Prozesse
14,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formale Dialektik]()
Formale Dialektik
48,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Varieties of English. Evolution of Language. Summary]()
Varieties of English. Evolution of Language. Summary
9,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Nicht-formale Strategien in der formalen Bildung]()
Nicht-formale Strategien in der formalen Bildung
48,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Grammar]()
Formal Grammar
51,36 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Matrices]()
Formal Matrices
90,94 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Logic]()
Formal Logic
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Verification]()
Formal Verification
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Über die Definition der Salze und die Eintheilung der Säuren]()
Über die Definition der Salze und die Eintheilung der Säuren
12,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Die Liebe, das Universum und ich. Life is a Story - story.one]()
Die Liebe, das Universum und ich. Life is a Story – story.one
18,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formale Sprachen]()
Formale Sprachen
49,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formale Logik]()
Formale Logik
12,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Die Definition]()
Die Definition
36,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Lógica Formal]()
Lógica Formal
109,95 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Definition und experimentelle Bestimmung einer neuen Konstanten der Elasticitätstheorie]()
Definition und experimentelle Bestimmung einer neuen Konstanten der Elasticitätstheorie
14,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Methods]()
Formal Methods
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Argumentation]()
Formal Argumentation
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Analysis]()
Formal Analysis
149,95 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Definitionen von Vorurteilen]()
Definitionen von Vorurteilen
17,95 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: What A Plot Twist You Were (Deutsch). Life is a Story - story.one]()
What A Plot Twist You Were (Deutsch). Life is a Story – story.one
18,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Ariol - Le coq sportif]()
Ariol – Le coq sportif
18,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formale Logik]()
Formale Logik
48,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Le coq dans la parole de Dieu]()
Le coq dans la parole de Dieu
16,80 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Methods]()
Formal Methods
117,69 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Das Red Card Projekt. Life is a Story - story.one]()
Das Red Card Projekt. Life is a Story – story.one
18,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: 13 A]()
13 A
22,95 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: [Galeni] Definitiones medicae / [Galen] Medizinische Definitionen]()
[Galeni] Definitiones medicae / [Galen] Medizinische Definitionen
164,95 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Methods]()
Formal Methods
42,79 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Specification]()
Formal Specification
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Definition des Sozialisationsbegriffs]()
Definition des Sozialisationsbegriffs
11,95 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formale Sprachen]()
Formale Sprachen
54,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Die wissenschaftliche Definition]()
Die wissenschaftliche Definition
39,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Grammar]()
Formal Grammar
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Nicht-formale Bildung]()
Nicht-formale Bildung
49,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Marketing.Eine Definition]()
Marketing.Eine Definition
15,95 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: St. Martin feiern mit Emma und Paul]()
St. Martin feiern mit Emma und Paul
20,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Liputs - die Formal]()
Liputs – die Formal
9,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Matrices]()
Formal Matrices
90,94 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Oesterreichische Lesehalle]()
Oesterreichische Lesehalle
79,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Definitionen Strafrecht]()
Definitionen Strafrecht
14,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Taschen-Definitionen]()
Taschen-Definitionen
22,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Grammar]()
Formal Grammar
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Oesterreichische Lesehalle]()
Oesterreichische Lesehalle
99,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Demography]()
Formal Demography
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Oesterreichische Lesehalle]()
Oesterreichische Lesehalle
79,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Definitionen Zivilrecht]()
Definitionen Zivilrecht
14,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Die Definition der Aggression.]()
Die Definition der Aggression.
89,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formale Sprachen]()
Formale Sprachen
109,95 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Hotel Metropol - Abreise]()
Hotel Metropol – Abreise
26,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Methods]()
Formal Methods
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Grammar]()
Formal Grammar
44,94 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Projektmanagement.Einführung und Definition]()
Projektmanagement.Einführung und Definition
13,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Naturweine - Eine Definition]()
Naturweine – Eine Definition
4,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Definition und experimentelle Bestimmung einer neuen Konstanten der Elasticitätstheorie]()
Definition und experimentelle Bestimmung einer neuen Konstanten der Elasticitätstheorie
14,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formale Sprachen]()
Formale Sprachen
54,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Begriffsbildung und Definition]()
Begriffsbildung und Definition
109,95 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Reliability Assessment of Lithium-Ion Battery Systems with Special Emphasis on Cell Performance Distribution]()
Reliability Assessment of Lithium-Ion Battery Systems with Special Emphasis on Cell Performance Distribution
48,80 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: High Definition]()
High Definition
54,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Definition und experimentelle Bestimmung einer neuen Konstanten der Elasticitätstheorie]()
Definition und experimentelle Bestimmung einer neuen Konstanten der Elasticitätstheorie
34,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Ontology]()
Formal Ontology
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Die Definition der Minderheiten]()
Die Definition der Minderheiten
17,95 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formale und nicht-formale Bildung in der Elfenbeinküste]()
Formale und nicht-formale Bildung in der Elfenbeinküste
91,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Coq mâle, coq femelle]()
Coq mâle, coq femelle
12,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: High Definition]()
High Definition
34,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Methods]()
Formal Methods
96,29 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Galgarias Rache. Life is a Story - story.one]()
Galgarias Rache. Life is a Story – story.one
18,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: La dent du coq]()
La dent du coq
12,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formale Subtextanalyse]()
Formale Subtextanalyse
56,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: text me after surgery. Life is a Story - story.one]()
text me after surgery. Life is a Story – story.one
18,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Logic]()
Formal Logic
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Der erste Schritt ins Ungewisse. Life is a Story - story.one]()
Der erste Schritt ins Ungewisse. Life is a Story – story.one
18,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Definition und experimentelle Bestimmung einer neuen Konstanten der Elasticitätstheorie]()
Definition und experimentelle Bestimmung einer neuen Konstanten der Elasticitätstheorie
34,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Definitionen für die Zivilrechtsklausur]()
Definitionen für die Zivilrechtsklausur
14,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Quatre poules et un coq]()
Quatre poules et un coq
19,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Methods]()
Formal Methods
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Methods]()
Formal Methods
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Methods]()
Formal Methods
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Diabolische Definitionen]()
Diabolische Definitionen
24,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formale Logik]()
Formale Logik
109,95 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Albert von le Coq (1860-1930) - Der Erwecker Manis]()
Albert von le Coq (1860-1930) – Der Erwecker Manis
154,95 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Die Definition von Glück]()
Die Definition von Glück
16,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Grammar]()
Formal Grammar
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Coq au Vin]()
Coq au Vin
16,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Cucurbit Fruit Fly (Bactrocera cucurbitae Coq.) In Summer Squash]()
Cucurbit Fruit Fly (Bactrocera cucurbitae Coq.) In Summer Squash
49,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formal Ontology]()
Formal Ontology
160,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Die Definition ist blöd]()
Die Definition ist blöd
159,95 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Formale Begriffsanalyse]()
Formale Begriffsanalyse
49,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: La hyène et le coq]()
La hyène et le coq
10,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Oesterreichische Lesehalle]()
Oesterreichische Lesehalle
59,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Design of a Sharing Platform for Objects in Gothenburg]()
Design of a Sharing Platform for Objects in Gothenburg
47,95 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Nicht alle Hunde bellen. Life is a Story - story.one]()
Nicht alle Hunde bellen. Life is a Story – story.one
18,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Kürbisfruchtfliege (Bactrocera cucurbitae Coq.) Im Sommerkürbis]()
Kürbisfruchtfliege (Bactrocera cucurbitae Coq.) Im Sommerkürbis
49,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Definitionen und Termini]()
Definitionen und Termini
164,95 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Kleine Miss Gewissbiss. Life is a Story - story.one]()
Kleine Miss Gewissbiss. Life is a Story – story.one
18,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Le Coq de bruyere]()
Le Coq de bruyere
10,95 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb
![Produktbild: [Galeni] Definitiones medicae / [Galen] Medizinische Definitionen](http://medien.umbreitkatalog.de/bildzentrale/978/311/079/0870.jpg)
