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

Lieferzeit 1-3 Werktage

19,35 €

Lieferzeit 1-3 Werktage

Kurzinformation
Sprache:
Englisch
ISBN:
9780521895569
Verlag:
Cambridge University Press
Seitenzahl:
614 Seiten
Auflage:
-
Erschienen:
2010-05-13
Mit diesem Kauf sparst Du 2,06 kg CO2

Mehr Informationen zum Zustand Green Tree

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.
  • Sauberer Zustand, Seiten und Bindung etwas abgenutzt
  • Knicke oder Markierungen nicht mehr als 5%
  • CDs und Zugangscodes verwendbar
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

Lieferzeit 1-3 Werktage

19,35 €

Lieferzeit 1-3 Werktage

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
19,35 €
Entdecke mehr zum Thema
frontend/listing/product-box/box-product-slider.tpl
-91%
Informationsmodellierung
  • Hardcover
  • 476 Seiten
  • Erschienen 1998
  • Deutscher Universitats-Verlag
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Informationsmodellierung
-
4,48 € 49,99 €
Details
frontend/listing/product-box/box-product-slider.tpl
-85%
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...
25,13 € 165,50 €
Details
frontend/listing/product-box/box-product-slider.tpl
-71%
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...
43,16 € 149,79 €
Details
frontend/listing/product-box/box-product-slider.tpl
-68%
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
23,99 € 76,00 €
Details
frontend/listing/product-box/box-product-slider.tpl
-96%
Modeling Biological Systems:
  • Hardcover
  • 492 Seiten
  • Erschienen 2014
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Modeling Biological Systems:
Haefner, James W.
4,45 € 117,69 €
Details
frontend/listing/product-box/box-product-slider.tpl
-94%
Service Modelling
  • Hardcover
  • 296 Seiten
  • Erschienen 2006
  • Wiley
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Service Modelling
Räisänen, Vilho
8,92 € 148,50 €
Details
frontend/listing/product-box/box-product-slider.tpl
-61%
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
11,70 € 29,90 €
Details
frontend/listing/product-box/box-product-slider.tpl
-93%
Modeling of Molecular Properties
  • Hardcover
    • -
  • Erschienen 2011
  • Wiley-VCH
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Modeling of Molecular Properties
Comba, Peter
11,96 € 164,00 €
Details
frontend/listing/product-box/box-product-slider.tpl
The Big Book of Simulation Modeling: Multimethod Modeling with AnyLogic 6
  • hardcover
  • 612 Seiten
  • Erschienen 2014
  • LIGHTNING SOURCE INC
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
The Big Book of Simulation Modeling:...
Borshchev, Andrei
65,35 €
Details
frontend/listing/product-box/box-product-slider.tpl
-81%
Modeling and Simulation
  • Hardcover
  • 280 Seiten
  • Erschienen 2009
  • Wiley
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Modeling and Simulation
-
25,41 € 136,50 €
Details
frontend/listing/product-box/box-product-slider.tpl
Modeling mit NLP: Ein Trainings-Handbuch zum NLP-Modeling-Prozess
  • Hardcover
  • 279 Seiten
  • Erschienen 2003
  • Junfermann Verlag
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Modeling mit NLP: Ein Trainings-Handbuch zum...
Dilts, Robert B.;
32,06 €
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
70,17 €
Details
frontend/listing/product-box/box-product-slider.tpl
-59%
Model Theoretic Algebra
  • Hardcover
  • 240 Seiten
  • Erschienen 1976
  • Springer Berlin Heidelberg
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Model Theoretic Algebra
Cherlin, G.
21,82 € 53,49 €
Details
frontend/listing/product-box/box-product-slider.tpl
-69%
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...
-
49,14 € 158,50 €
Details
frontend/listing/product-box/box-product-slider.tpl
-72%
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.
15,13 € 53,49 €
Details
frontend/listing/product-box/box-product-slider.tpl
-70%
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.
16,23 € 54,99 €
Details
frontend/listing/product-box/box-product-slider.tpl
-87%
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.
14,73 € 114,50 €
Details
frontend/listing/product-box/box-product-slider.tpl
-46%
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
9,58 € 17,80 €
Details
frontend/listing/product-box/box-product-slider.tpl
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
113,57 €
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
7,39 €
Details
frontend/listing/product-box/box-product-slider.tpl
-88%
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
3,22 € 26,70 €
Details
frontend/listing/product-box/box-product-slider.tpl
-87%
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
37,58 € 289,50 €
Details
frontend/listing/product-box/box-product-slider.tpl
-51%
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
8,86 € 18,00 €
Details
frontend/listing/product-box/box-product-slider.tpl
-86%
Practical Finite Element Modeling in Earth Science Using MATLAB
  • Hardcover
  • 272 Seiten
  • Erschienen 2017
  • Wiley-Blackwell
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Practical Finite Element Modeling in Earth...
Simpson, Guy
16,07 € 113,50 €
Details
frontend/listing/product-box/box-product-slider.tpl
-98%
Domain-Specific Modeling
  • Hardcover
  • 444 Seiten
  • Erschienen 2008
  • Wiley-IEEE Computer Society...
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Domain-Specific Modeling
Kelly, Steven;Tolvanen, Juh...
3,38 € 135,50 €
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.
12,37 €
Details
frontend/listing/product-box/box-product-slider.tpl
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.
57,08 €
Details
frontend/listing/product-box/box-product-slider.tpl
-55%
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
97,71 € 217,50 €
Details
frontend/listing/product-box/box-product-slider.tpl
-79%
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
6,57 € 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
-74%
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.
13,76 € 53,49 €
Details
frontend/listing/product-box/box-product-slider.tpl
-71%
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
14,67 € 49,80 €
Details
frontend/listing/product-box/box-product-slider.tpl
-81%
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.
18,24 € 96,29 €
Details
frontend/listing/product-box/box-product-slider.tpl
Simulation Modeling and Analysis
  • paperback
  • 784 Seiten
  • Erschienen 2000
  • Mcgraw-Hill Professional
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Simulation Modeling and Analysis
Kelton, W. David
11,68 €
Details
frontend/listing/product-box/box-product-slider.tpl
-7%
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
36,17 € 38,79 €
Details
frontend/listing/product-box/box-product-slider.tpl
-96%
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,69 € 44,99 €
Details
frontend/listing/product-box/box-product-slider.tpl
-92%
Mathematische Modellierung
  • Hardcover
  • 148 Seiten
  • Teubner Verlag
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Mathematische Modellierung
-
4,19 € 49,99 €
Details
frontend/listing/product-box/box-product-slider.tpl
-61%
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.
32,94 € 85,55 €
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