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

25,70 €

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

25,70 €

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
25,70 €
Entdecke mehr zum Thema
frontend/listing/product-box/box-product-slider.tpl
-88%
Modeling Data Irregularities and Structural Complexities in Data Envelopment Analysis
  • Hardcover
  • 334 Seiten
  • Erschienen 2007
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Modeling Data Irregularities and Structural...
-
19,56 € 160,49 €
Details
frontend/listing/product-box/box-product-slider.tpl
-95%
Geschäftsprozeßmanagement auf der Basis ereignisgesteuerter Prozeßketten
  • Hardcover
  • 208 Seiten
  • Teubner Verlag
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Geschäftsprozeßmanagement auf der Basis...
-
2,24 € 44,99 €
Details
frontend/listing/product-box/box-product-slider.tpl
-75%
Introduction to Transportation Analysis, Modeling and Simulation
  • Hardcover
  • 360 Seiten
  • Erschienen 2014
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Introduction to Transportation Analysis,...
Möller, Dietmar P. F.
24,22 € 96,29 €
Details
frontend/listing/product-box/box-product-slider.tpl
-89%
UML @ Classroom
  • Hardcover
  • 220 Seiten
  • Erschienen 2015
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
UML @ Classroom
Seidl, Martina;Kappel, Gert...
6,49 € 58,84 €
Details
frontend/listing/product-box/box-product-slider.tpl
-83%
Computational Design Modeling
  • Hardcover
  • 364 Seiten
  • Erschienen 2011
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Computational Design Modeling
-
35,88 € 213,99 €
Details
frontend/listing/product-box/box-product-slider.tpl
-90%
Strukturmodell zum Datenaustausch im Facility Management
  • Hardcover
  • 352 Seiten
  • Erschienen 2020
  • Springer Vieweg
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Strukturmodell zum Datenaustausch im Facility...
Bartels, Niels
8,84 € 89,99 €
Details
frontend/listing/product-box/box-product-slider.tpl
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
21,33 €
Details
frontend/listing/product-box/box-product-slider.tpl
Modeling Biological Systems:
  • Hardcover
  • 492 Seiten
  • Erschienen 2014
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Modeling Biological Systems:
Haefner, James W.
5,91 €
Details
frontend/listing/product-box/box-product-slider.tpl
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,71 €
Details
frontend/listing/product-box/box-product-slider.tpl
Modeling of Molecular Properties
  • Hardcover
    • -
  • Erschienen 2011
  • Wiley-VCH
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Modeling of Molecular Properties
Comba, Peter
15,88 €
Details
frontend/listing/product-box/box-product-slider.tpl
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...
4,49 €
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
86,78 €
Details
frontend/listing/product-box/box-product-slider.tpl
Modeling Dynamic Phenomena in Molecular and Cellular Biology
  • Hardcover
  • 324 Seiten
  • Erschienen 2010
  • Cambridge University Press
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Modeling Dynamic Phenomena in Molecular and...
Segel, Lee A.
5,71 €
Details
frontend/listing/product-box/box-product-slider.tpl
Informationsmodellierung
  • Hardcover
  • 476 Seiten
  • Erschienen 1998
  • Deutscher Universitats-Verlag
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Informationsmodellierung
-
5,95 €
Details
frontend/listing/product-box/box-product-slider.tpl
Mathematische Modellierung
  • Hardcover
  • 148 Seiten
  • Teubner Verlag
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Mathematische Modellierung
-
8,03 €
Details
frontend/listing/product-box/box-product-slider.tpl
Service Modelling
  • Hardcover
  • 296 Seiten
  • Erschienen 2006
  • Wiley
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Service Modelling
Räisänen, Vilho
11,84 €
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
9,81 €
Details
frontend/listing/product-box/box-product-slider.tpl
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
4,28 €
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.
16,42 €
Details
frontend/listing/product-box/box-product-slider.tpl
The Decision Model
  • Hardcover
  • 554 Seiten
  • Erschienen 2009
  • Taylor & Francis Ltd
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
The Decision Model
Halle, Barbara von;Goldberg...
5,61 €
Details
frontend/listing/product-box/box-product-slider.tpl
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
12,73 €
Details
frontend/listing/product-box/box-product-slider.tpl
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...
33,37 €
Details
frontend/listing/product-box/box-product-slider.tpl
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
49,90 €
Details
frontend/listing/product-box/box-product-slider.tpl
Multilevel Modeling of Educational Data (Quantitative Methods in Education and the Behavioral Sciences: Issues, Research, and Teaching)
  • paperback
  • 540 Seiten
  • Erschienen 2008
  • Information Age Publishing
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Multilevel Modeling of Educational Data...
McCoach, D. Betsy
11,78 €
Details
frontend/listing/product-box/box-product-slider.tpl
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
8,72 €
Details
frontend/listing/product-box/box-product-slider.tpl
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.
43,75 €
Details
frontend/listing/product-box/box-product-slider.tpl
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.
21,55 €
Details
frontend/listing/product-box/box-product-slider.tpl
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.
20,09 €
Details
frontend/listing/product-box/box-product-slider.tpl
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.
18,27 €
Details
frontend/listing/product-box/box-product-slider.tpl
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...
57,32 €
Details
frontend/listing/product-box/box-product-slider.tpl
Modeling and Simulation
  • Hardcover
  • 280 Seiten
  • Erschienen 2009
  • Wiley
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Modeling and Simulation
-
33,74 €
Details
frontend/listing/product-box/box-product-slider.tpl
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...
-
65,26 €
Details
frontend/listing/product-box/box-product-slider.tpl
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
31,85 €
Details
frontend/listing/product-box/box-product-slider.tpl
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
48,03 €
Details
frontend/listing/product-box/box-product-slider.tpl
Process Modelling, Simulation and Control for Chemical Engineers
  • paperback
  • 752 Seiten
  • Erschienen 1990
  • McGraw Hill Higher Education
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Process Modelling, Simulation and Control for...
Luyben, William L.
10,93 €
Details
frontend/listing/product-box/box-product-slider.tpl
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
17,96 €
Details
frontend/listing/product-box/box-product-slider.tpl
Atomistic Computer Simulations
  • Hardcover
    • -
  • Erschienen 2013
  • Wiley-VCH
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Atomistic Computer Simulations
Brázdová, Veronika;Bowler, ...
63,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
113,02 €
Details
frontend/listing/product-box/box-product-slider.tpl
Model Theoretic Algebra
  • Hardcover
  • 240 Seiten
  • Erschienen 1976
  • Springer Berlin Heidelberg
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Model Theoretic Algebra
Cherlin, G.
37,29 €
Details