LeafKlimaneutrales Unternehmen CoinFaire Preise PackageSchneller und kostenloser Versand ab 14,90 € Bestellwert
Gebrauchte & Neue Bücher
Keine Versandkosten
Nachhaltiges Unternehmen
Cambridge University Press
Modeling in Event-B

Modeling in Event-B

Abrial, Jean-Raymond

inkl. MwSt. Versandinformationen

Artikel zZt. nicht lieferbar

Artikel zZt. nicht lieferbar

Kurzinformation
Sprache:
Englisch
ISBN:
9780521895569
Verlag:
Cambridge University Press
Seitenzahl:
614 Seiten
Auflage:
-
Erschienen:
2010-05-13
Dieser Artikel steht derzeit nicht zur Verfügung!

Gebrauchte Bücher kaufen

Information
Das Buch befindet sich in einem sehr guten, unbenutzten Zustand.
Information
Das Buch befindet sich in einem sehr guten, gelesenen Zustand. Die Seiten und der Einband sind intakt. Buchrücken/Ecken/Kanten können leichte Gebrauchsspuren aufweisen.
Information
Das Buch befindet sich in einem guten, gelesenen Zustand. Die Seiten und der Einband sind intakt. Buchrücken/Ecken/Kanten können Knicke/Gebrauchsspuren aufweisen.
Information
Das Buch befindet sich in einem lesbaren Zustand. Die Seiten und der Einband sind intakt, jedoch weisen Buchrücken/Ecken/Kanten starke Knicke/Gebrauchsspuren auf. Zusatzmaterialien können fehlen.

Neues Buch oder eBook (pdf) kaufen

Information
Neuware - verlagsfrische aktuelle Buchausgabe.
Neu bei lehmanns bestellen E-Book bei lehmanns bestellen
Natural Handgeprüfte Gebrauchtware
Coins Schnelle Lieferung
Check Faire Preise

inkl. MwSt. Versandinformationen

Artikel zZt. nicht lieferbar

Artikel zZt. nicht lieferbar

Weitere Zahlungsmöglichkeiten  
Zahlungsarten

Beschreibung

Modeling in Event-B

A practical introduction to this model-based formal method, containing a broad range of illustrative examples. von Abrial, Jean-Raymond

Produktdetails

Einband:
Hardcover
Seitenzahl:
614 Seiten
Erschienen:
2010-05-13
Sprache:
Englisch
EAN:
9780521895569
ISBN:
9780521895569
Verlag:
Cambridge University Press
Gewicht:
1522 g
Auflage:
-
Alle gebrauchten Bücher werden von uns handgeprüft.
So garantieren wir Dir zu jeder Zeit Premiumqualität.

Über den Autor

Abrial, Jean-Raymond

Entdecke mehr vom Verlag

Cambridge University Press
Gut
16,14 €
Entdecke mehr zum Thema
frontend/listing/product-box/box-product-slider.tpl
-93%
Informationsmodellierung
  • Hardcover
  • 476 Seiten
  • Erschienen 1998
  • Deutscher Universitats-Verlag
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Informationsmodellierung
-
3,65 € 49,99 €
Details
frontend/listing/product-box/box-product-slider.tpl
-88%
Reliability-Based Modeling of System Performance
  • Hardcover
  • 224 Seiten
  • Erschienen 2023
  • ISTE Ltd and John Wiley & S...
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Reliability-Based Modeling of System Performance
El Hami, Abdelkhalak;Eid, M...
20,44 € 165,50 €
Details
frontend/listing/product-box/box-product-slider.tpl
-77%
Effective Model-Based Systems Engineering
  • Hardcover
  • 800 Seiten
  • Erschienen 2018
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Effective Model-Based Systems Engineering
Bradley, Thomas H.;Borky, J...
35,10 € 149,79 €
Details
frontend/listing/product-box/box-product-slider.tpl
-74%
Introduction to Modeling and Simulation of Technical and Physical Systems with Modelica
  • Hardcover
  • 232 Seiten
  • Erschienen 2011
  • Wiley-IEEE Press
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Introduction to Modeling and Simulation of...
Fritzson, Peter
19,51 € 76,00 €
Details
frontend/listing/product-box/box-product-slider.tpl
-97%
Modeling Biological Systems:
  • Hardcover
  • 492 Seiten
  • Erschienen 2014
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Modeling Biological Systems:
Haefner, James W.
3,62 € 117,69 €
Details
frontend/listing/product-box/box-product-slider.tpl
-95%
Service Modelling
  • Hardcover
  • 296 Seiten
  • Erschienen 2006
  • Wiley
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Service Modelling
Räisänen, Vilho
7,25 € 148,50 €
Details
frontend/listing/product-box/box-product-slider.tpl
-94%
Modeling of Molecular Properties
  • Hardcover
    • -
  • Erschienen 2011
  • Wiley-VCH
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Modeling of Molecular Properties
Comba, Peter
9,73 € 164,00 €
Details
frontend/listing/product-box/box-product-slider.tpl
-85%
Modeling and Simulation
  • Hardcover
  • 280 Seiten
  • Erschienen 2009
  • Wiley
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Modeling and Simulation
-
20,67 € 136,50 €
Details
frontend/listing/product-box/box-product-slider.tpl
-68%
Modellierung: Grundlagen und formale Methoden
  • paperback
  • 256 Seiten
  • Erschienen 2005
  • Carl Hanser Verlag GmbH & C...
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Modellierung: Grundlagen und formale Methoden
Kleine Büning, Hans
9,70 € 29,90 €
Details
frontend/listing/product-box/box-product-slider.tpl
Modellbasierte Systementwicklung mit SysML: Extra: Mit kostenlosem E-Book
  • hardcover
  • 216 Seiten
  • Erschienen 2012
  • Carl Hanser Verlag GmbH & C...
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Modellbasierte Systementwicklung mit SysML:...
Alt, Oliver
57,07 €
Details
frontend/listing/product-box/box-product-slider.tpl
-75%
Symbolic Approaches to Modeling and Analysis of Biological Systems
  • Hardcover
  • 400 Seiten
  • Erschienen 2023
  • ISTE LTD
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Symbolic Approaches to Modeling and Analysis of...
-
39,97 € 158,50 €
Details
frontend/listing/product-box/box-product-slider.tpl
-77%
Disturbances in the linear model, estimation and hypothesis testing
  • Hardcover
  • 120 Seiten
  • Erschienen 1978
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Disturbances in the linear model, estimation...
Dubbelman, C.
12,31 € 53,49 €
Details
frontend/listing/product-box/box-product-slider.tpl
-76%
Messung, Modellierung und Bewertung von Rechensystemen
  • Hardcover
  • 380 Seiten
  • Erschienen 1981
  • Springer Berlin Heidelberg
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Messung, Modellierung und Bewertung von...
Mertens, B.
13,20 € 54,99 €
Details
frontend/listing/product-box/box-product-slider.tpl
-90%
Modeling Data Irregularities and Structural Complexities in Data Envelopment Analysis
  • Gebunden
  • 334 Seiten
  • Erschienen 2007
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Modeling Data Irregularities and Structural...
Zhu, Joe und Cook, Wade D.
11,98 € 114,50 €
Details
frontend/listing/product-box/box-product-slider.tpl
-73%
Simulation Modelling Pascal
  • paperback
  • 300 Seiten
  • Erschienen 1989
  • Pearson Education Limited
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Simulation Modelling Pascal
Okeefe
7,61 € 27,77 €
Details
frontend/listing/product-box/box-product-slider.tpl
-56%
The Java Simulation Handbook: Simulating Discrete Event Systems with UML and Java (Berichte aus der Informatik)
  • hardcover
  • 516 Seiten
  • Erschienen 2005
  • Shaker
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
The Java Simulation Handbook: Simulating...
Kuck, Julia
7,79 € 17,80 €
Details
frontend/listing/product-box/box-product-slider.tpl
-16%
Referenzmodellierung: Grundlagen, Techniken und domänenbezogene Anwendung
  • paperback
  • 192 Seiten
  • Erschienen 2013
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Referenzmodellierung: Grundlagen, Techniken und...
Becker, Jörg
92,37 € 109,99 €
Details
frontend/listing/product-box/box-product-slider.tpl
Simulation Using ProModel (Int'l Ed)
  • paperback
  • 640 Seiten
  • Erschienen 2011
  • McGraw Hill Higher Education
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Simulation Using ProModel (Int'l Ed)
Harrell, Charles
6,01 €
Details
frontend/listing/product-box/box-product-slider.tpl
-90%
Mathematical Modelling (Modular Mathematics Series)
  • paperback
  • 156 Seiten
  • Erschienen 1995
  • Butterworth-Heinemann
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Mathematical Modelling (Modular Mathematics...
Berry, John
2,62 € 26,70 €
Details
frontend/listing/product-box/box-product-slider.tpl
-89%
Information Modeling: The EXPRESS Way
  • hardcover
  • 416 Seiten
  • Erschienen 1994
  • Oxford University Press Inc
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Information Modeling: The EXPRESS Way
Wilson, Peter
30,56 € 289,50 €
Details
frontend/listing/product-box/box-product-slider.tpl
-93%
Modeling Our World: The ESRI Guide to Geodatabase Design
  • paperback
  • 200 Seiten
  • Erschienen 2000
  • Esri Press
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Modeling Our World: The ESRI Guide to...
Zeiler, Michael
2,26 € 32,05 €
Details
frontend/listing/product-box/box-product-slider.tpl
-60%
O.B.S.T.MODELL: OBSTmodell ist das Buch, in dem ein einfaches, erfolgreiches und kreatives Erfolgsmodell gezeigt wird für alle, um leichter und besser Entscheidungen zu treffen.
  • Gebunden
  • 125 Seiten
  • Erschienen 2018
  • cityteam Agentur
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
O.B.S.T.MODELL: OBSTmodell ist das Buch, in dem...
Kierner, Sabine
7,20 € 18,00 €
Details
frontend/listing/product-box/box-product-slider.tpl
-66%
UML @ Classroom: Eine Einführung in die objektorientierte Modellierung
  • Kartoniert
  • 250 Seiten
  • Erschienen 2012
  • dpunkt.verlag GmbH
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
UML @ Classroom: Eine Einführung in die...
Seidl, Martina und Brandste...
8,51 € 24,90 €
Details
frontend/listing/product-box/box-product-slider.tpl
-94%
Strukturmodell zum Datenaustausch im Facility Management
  • Kartoniert
  • 329 Seiten
  • Erschienen 2020
  • Springer Vieweg
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Strukturmodell zum Datenaustausch im Facility...
Bartels, Niels
5,42 € 89,99 €
Details
frontend/listing/product-box/box-product-slider.tpl
Managerial Decision Modeling
  • misc_supplies
  • 816 Seiten
  • Erschienen 2011
  • South-Western
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Managerial Decision Modeling
Ragsdale, Cliff T.
10,06 €
Details
frontend/listing/product-box/box-product-slider.tpl
-8%
Modellierung und Simulation im Umweltbereich (Fortschritte in der Simulationstechnik)
  • hardcover
  • 321 Seiten
  • Erschienen 1997
  • Vieweg+Teubner Verlag
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Modellierung und Simulation im Umweltbereich...
Möller, Dietmar P.F.
45,92 € 49,95 €
Details
frontend/listing/product-box/box-product-slider.tpl
-63%
Systems Biology Modelling and Analysis: Formal Bioinformatics Methods and Tools
  • hardcover
  • 464 Seiten
  • Erschienen 2022
  • Wiley
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Systems Biology Modelling and Analysis: Formal...
de Maria, Elisabetta
79,47 € 217,50 €
Details
frontend/listing/product-box/box-product-slider.tpl
-41%
Praxishandbuch BPMN: Mit Einführung in DMN
  • Gebunden
  • 278 Seiten
  • Erschienen 2019
  • Carl Hanser Verlag GmbH & C...
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Praxishandbuch BPMN: Mit Einführung in DMN
Rücker, Bernd und Freund, J...
23,54 € 39,90 €
Details
frontend/listing/product-box/box-product-slider.tpl
-83%
Real-Life BPMN: With introductions to CMMN and DMN
  • paperback
  • 248 Seiten
  • Erschienen 2016
  • CreateSpace Independent Pub...
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Real-Life BPMN: With introductions to CMMN and DMN
Rücker, Bernd
5,34 € 31,99 €
Details
frontend/listing/product-box/box-product-slider.tpl
-100%
Software-Engineering mit der Unified Modeling Language
  • paperback
  • 536 Seiten
  • Erschienen 2013
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Software-Engineering mit der Unified Modeling...
Kahlbrandt, Bernd
0,00 € 49,99 €
Details
frontend/listing/product-box/box-product-slider.tpl
-79%
Bayesian Full Information Structrual Analysis
  • Hardcover
  • 168 Seiten
  • Erschienen 1971
  • Springer Berlin Heidelberg
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Bayesian Full Information Structrual Analysis
Morales, J. A.
11,19 € 53,49 €
Details
frontend/listing/product-box/box-product-slider.tpl
-76%
Ereignisdiskrete Systeme: Modellierung und Analyse dynamischer Systeme mit Automaten, Markovketten und Petrinetzen
  • hardcover
  • 662 Seiten
  • Erschienen 2006
  • De Gruyter Oldenbourg
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Ereignisdiskrete Systeme: Modellierung und...
Lunze, Jan
11,93 € 49,80 €
Details
frontend/listing/product-box/box-product-slider.tpl
-85%
Introduction to Transportation Analysis, Modeling and Simulation
  • Gebunden
  • 404 Seiten
  • Erschienen 2014
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Introduction to Transportation Analysis,...
Möller, Dietmar P. F.
14,84 € 96,29 €
Details
frontend/listing/product-box/box-product-slider.tpl
-24%
Model Theory (Studies in Logic and Foundations of Mathematics Ser. : Vol 73)
  • paperback
  • 566 Seiten
  • Erschienen 1977
  • North-Holland
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Model Theory (Studies in Logic and Foundations...
Keisler, H. Jerome
29,42 € 38,79 €
Details
frontend/listing/product-box/box-product-slider.tpl
-97%
Geschäftsprozeßmanagement auf der Basis ereignisgesteuerter Prozeßketten
  • Kartoniert
  • 208 Seiten
  • Erschienen 1999
  • Teubner Verlag
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Geschäftsprozeßmanagement auf der Basis...
-
1,37 € 44,99 €
Details
frontend/listing/product-box/box-product-slider.tpl
-26%
Financial Modeling
  • Kartoniert
  • 839 Seiten
  • Erschienen 2016
  • Schäffer-Poeschel
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Financial Modeling
Bloss, Michael und Dirnberg...
59,47 € 79,95 €
Details
frontend/listing/product-box/box-product-slider.tpl
-93%
Mathematische Modellierung
  • Hardcover
  • 148 Seiten
  • Teubner Verlag
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Mathematische Modellierung
-
3,41 € 49,99 €
Details
frontend/listing/product-box/box-product-slider.tpl
-69%
Discrete-event system simulation
  • paperback
  • 634 Seiten
  • Erschienen 2005
  • Pearson Education
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Discrete-event system simulation
Nelson, Barry L.
26,79 € 85,55 €
Details
frontend/listing/product-box/box-product-slider.tpl
-23%
Visual Models for Software Requirements: An Rml Handbook (Developer Best Practices)
  • paperback
  • 480 Seiten
  • Erschienen 2012
  • Microsoft GmbH
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Visual Models for Software Requirements: An Rml...
Beatty, Joy
34,93 € 45,50 €
Details
frontend/listing/product-box/box-product-slider.tpl
Kraftfahrzeugführung: Modelle - Simulation - Regelung
  • hardcover
  • 359 Seiten
  • Erschienen 2007
  • Carl Hanser Verlag GmbH & C...
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Kraftfahrzeugführung: Modelle - Simulation -...
Kramer, Ulrich
0,00 €
Details