LeafNachhaltiges 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.
Bestellen bei zvab
Neu bestellen bei lehmanns
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
Writing Testbenches: Functional Verification of HDL Models
  • hardcover
  • 384 Seiten
  • Erschienen 2000
  • Kluwer Academic Publishers
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Writing Testbenches: Functional Verification of...
Bergeron, Janick
20,32 €
Details
Behavior Models: Specifying User's Expectations
  • hardcover
  • 368 Seiten
  • Erschienen 1991
  • Prentice Hall
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Behavior Models: Specifying User's Expectations
Kowal, James A.
13,27 €
Details
-28%
Event History Modeling: A Guide for Social Scientists (Analytical Methods for Social Research)
  • paperback
  • 232 Seiten
  • Erschienen 2004
  • Cambridge University Press
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Event History Modeling: A Guide for Social...
Box-Steffensmeier, Janet M.
34,24 € 47,45 €
Details
Objekte und ihre Lebensläufe: Modellierung mit Zuständen
  • paperback
  • 270 Seiten
  • Erschienen 1998
  • Hanser Fachbuch
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Objekte und ihre Lebensläufe: Modellierung mit...
Shlaer, Sally
21,22 €
Details
-30%
Information Modeling of Organizations
  • paperback
  • 110 Seiten
  • Erschienen 2012
  • Tomas Bruckner
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Information Modeling of Organizations
Repa, Vaclav
14,86 € 21,20 €
Details
-38%
Modellierung Von Eingebetteten Systemen Mit Uml Und Sysml (German Edition)
  • Kartoniert
  • 304 Seiten
  • Erschienen 2008
  • Spektrum Akademischer Verlag
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Modellierung Von Eingebetteten Systemen Mit Uml...
Korff, Andreas
27,81 € 44,99 €
Details
Model-based System and Architecture Engineering with the Arcadia Method (Implementation of Model Based System Engineering)
  • hardcover
  • 388 Seiten
  • Erschienen 2017
  • ISTE Press - Elsevier
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Model-based System and Architecture Engineering...
Voirin, Jean-Luc
111,33 €
Details
-30%
Domänenspezifische Modellierung als Methode der Softwareentwicklung
  • paperback
  • 40 Seiten
  • Erschienen 2007
  • Grin Verlag
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Domänenspezifische Modellierung als Methode der...
Ludwig, Andreas
12,58 € 17,95 €
Details
-38%
Conceptual Modeling for User Interface Development (Practitioner Series)
  • paperback
  • 204 Seiten
  • Erschienen 1999
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Conceptual Modeling for User Interface...
Benyon, David
35,09 € 56,92 €
Details
Object-Oriented Modeling and Design: United States Edition
  • Taschenbuch
    • -
  • Erschienen 1991
  • Pearson
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Object-Oriented Modeling and Design: United...
james-rumbaugh-stephen-blah...
2,51 €
Details
-43%
Transaction-Level Modeling with SystemC: TLM Concepts and Applications for Embedded Systems
  • Gebunden
  • 288 Seiten
  • Erschienen 2005
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Transaction-Level Modeling with SystemC: TLM...
Ghenassia, Frank
102,81 € 179,71 €
Details
Systems Biology: Simulation of Dynamic Network States
  • hardcover
  • 320 Seiten
  • Erschienen 2011
  • Cambridge University Press
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Systems Biology: Simulation of Dynamic Network...
Bernhard Ã. Palsson , Prepa...
17,39 €
Details
-41%
Modellierung '99: Workshop der Gesellschaft für Informatik e.V. (GI), März 1999 in Karlsruhe (Teubner Reihe Wirtschaftsinformatik)
  • paperback
  • 204 Seiten
  • Erschienen 1999
  • Teubner Verlag
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Modellierung '99: Workshop der Gesellschaft für...
Desel, Jörg
29,43 € 49,95 €
Details
-38%
Entwurfsbegleitende Leistungsanalyse mit UML, MARTE und Generalisierten Netzen
  • hardcover
  • 319 Seiten
  • Erschienen 2013
  • Oldenbourg Wissenschaftsverlag
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Entwurfsbegleitende Leistungsanalyse mit UML,...
Koycheva, Evelina
62,16 € 99,95 €
Details
-34%
Computer Aided Verification: 13th International Conference, CAV 2001, Paris, France, July 18-22, 2001. Proceedings (Lecture Notes in Computer Science, 2102, Band 2102)
  • paperback
  • 536 Seiten
  • Erschienen 2008
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Computer Aided Verification: 13th International...
Comon, Hubert
75,09 € 114,48 €
Details
-38%
Modellierung von digitalen Systemen mit SystemC: Von der RTL- zur Transaction-Level-Modellierung
  • Kartoniert
  • 345 Seiten
  • Erschienen 2012
  • De Gruyter Oldenbourg
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Modellierung von digitalen Systemen mit...
Kesel, Frank
27,96 € 44,95 €
Details
-56%
Modellierung: Grundlagen und formale Methoden
  • hardcover
  • 293 Seiten
  • Erschienen 2008
  • Carl Hanser Verlag GmbH & C...
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Modellierung: Grundlagen und formale Methoden
Kleine Büning, Hans
15,39 € 34,90 €
Details
-87%
Modeling and Simulation of Complex Dynamical Systems: Virtual Laboratory Approach based on Wolfram SystemModeler
  • hardcover
  • 182 Seiten
  • Erschienen 2021
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Modeling and Simulation of Complex Dynamical...
Perumal, Veeradasan
6,80 € 53,49 €
Details
-38%
Conceptual Modeling for E-Business and the Web: ER 2000 Workshops on Conceptual Modeling Approaches for E-Business and the World Wide Web and ... Notes in Computer Science, 1921, Band 1921)
  • paperback
  • 192 Seiten
  • Erschienen 2008
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Conceptual Modeling for E-Business and the Web:...
Liddle, Stephen W.
35,35 € 57,23 €
Details
-46%
BPMN 2.0 für Einsteiger - Methoden zu Prozessdesign und Prozessdarstellung
  • paperback
  • 28 Seiten
  • Erschienen 2011
  • Grin Verlag
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
BPMN 2.0 für Einsteiger - Methoden zu...
Sadowska, Monika
9,62 € 17,95 €
Details
-43%
Modelling for Financial Decisions: Proceedings of the 5th Meeting of the EURO Working Group on “Financial Modelling” held in Catania, 20–21 April, 1989 (Studies in Financial Modelling)
  • hardcover
  • 247 Seiten
  • Erschienen 1991
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Modelling for Financial Decisions: Proceedings...
Matarazzo, Benedetto
45,53 € 79,87 €
Details
-35%
Modelle für Rechensysteme: Workshop der GI, Bonn, 31. 3.-1. 4. 1977 (Informatik-Fachberichte, 9, Band 9)
  • paperback
  • 308 Seiten
  • Erschienen 1977
  • Springer Berlin Heidelberg
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Modelle für Rechensysteme: Workshop der GI,...
P. Spies, Peter
70,51 € 107,82 €
Details
-48%
Complex Behavior in Evolutionary Robotics (de Gruyter Textbook)
  • Kartoniert
  • 262 Seiten
  • Erschienen 2015
  • De Gruyter Oldenbourg
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Complex Behavior in Evolutionary Robotics (de...
König, Lukas
39,08 € 74,95 €
Details
Objektorientierte Softwareentwicklung mit der Unified Modeling Language (UML)
  • hardcover
  • 462 Seiten
  • Erschienen 1998
  • Hanser Fachbuch
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Objektorientierte Softwareentwicklung mit der...
Neumann, Horst A.
5,27 €
Details
-44%
Grundprinzipien der Mechatronik: Modellbildung und Simulation mit Bondgraphen
  • paperback
  • 324 Seiten
  • Erschienen 2025
  • Springer Vieweg
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Grundprinzipien der Mechatronik: Modellbildung...
Roddeck, Werner
22,34 € 39,99 €
Details
-37%
Automata, Languages and Programming: Fifth Colloquium, Udine, Italy, July 17 - 21, 1978. Proceedings (Lecture Notes in Computer Science, 62, Band 62)
  • paperback
  • 520 Seiten
  • Erschienen 2008
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Automata, Languages and Programming: Fifth...
B??hm, C.
35,94 € 57,23 €
Details
-31%
Real-World Decision Modeling with DMN: Effective Communication of Decision-Making
  • paperback
  • 470 Seiten
  • Erschienen 2023
  • JTonEDM
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Real-World Decision Modeling with DMN:...
Taylor, James
35,98 € 52,20 €
Details
-21%
Geschäftsprozessmodellierung mit Bpmn 2.0: Business Process Model And Notation
  • Hardcover
    • -
  • Erschienen 2012
  • De Gruyter Oldenbourg
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Geschäftsprozessmodellierung mit Bpmn 2.0:...
Göpfert, Jochen;Lindenbach,...
23,64 € 29,80 €
Details
Evasions Analyses modèles
  • perfect
  • 157 Seiten
  • -
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Evasions Analyses modèles
-
4,47 €
Details
-48%
Modeling Complex Systems (Graduate Texts in Physics)
  • Gebunden
  • 490 Seiten
  • Erschienen 2010
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Modeling Complex Systems (Graduate Texts in...
Boccara, Nino
49,75 € 96,29 €
Details
A Beginner's Guide to Structural Equation Modeling
  • paperback
  • 304 Seiten
  • Erschienen 1996
  • Lawrence Erlbaum Associates...
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
A Beginner's Guide to Structural Equation Modeling
Schumacker, Randall E.
17,65 €
Details
Enterprise JavaBeans (JAVA SERIES)
  • paperback
  • 567 Seiten
  • Erschienen 2001
  • O'Reilly & Associates
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Enterprise JavaBeans (JAVA SERIES)
Monson-Haefel, Richard
19,26 €
Details
-70%
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...
7,43 € 24,90 €
Details
-94%
EMF: Eclipse Modeling Framework (2nd Edition) (Eclipse)
  • Kartoniert
  • 704 Seiten
  • Erschienen 2009
  • Pearson Education
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
EMF: Eclipse Modeling Framework (2nd Edition)...
Steinberg, David
2,72 € 48,00 €
Details
Objektorientierte Geschäftsprozessmodellierung mit der UML
  • hardcover
  • 250 Seiten
  • Erschienen 2003
  • dpunkt.verlag
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Objektorientierte Geschäftsprozessmodellierung...
Oestereich, Bernd
2,72 €
Details
Jetzt lerne ich UML . Der einfache Einstieg in die visuelle Objektmodellierung
  • paperback
  • 420 Seiten
  • Erschienen 2003
  • Markt+Technik
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Jetzt lerne ich UML . Der einfache Einstieg in...
Schmuller, Josef
5,16 €
Details
-63%
Datenmodellierung. Theorie und Praxis des Datenbankentwurfes
  • paperback
  • 305 Seiten
  • Erschienen 1990
  • Physica-Verlag Heidelberg
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Datenmodellierung. Theorie und Praxis des...
Tjoa, A.Min
20,22 € 54,99 €
Details
-28%
Effective Model Building for Strategic Planning: A Knowledge-Based System For Enhanced Model And Knowledge Management (German Edition)
  • paperback
  • 244 Seiten
  • Erschienen 1996
  • Deutscher Universitätsverlag
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Effective Model Building for Strategic...
Schmitt, Heinz-Ulrich
35,91 € 49,99 €
Details
-98%
Objektorientierte Softwareentwicklung. Analyse und Design mit UML
  • hardcover
  • 376 Seiten
  • Erschienen 1998
  • De Gruyter Oldenbourg
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Objektorientierte Softwareentwicklung. Analyse...
Oestereich, Bernd
1,51 € 94,95 €
Details
Modellierung 2004: Proceedings zur Tagung 23.-26. März 2004, Marburg
  • paperback
  • 340 Seiten
  • Erschienen 2004
  • Köllen
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Modellierung 2004: Proceedings zur Tagung...
Rumpe, Bernhard
30,13 €
Details