LeafKlimaneutrales Unternehmen CoinFaire Preise PackageSchneller und kostenloser Versand ab 14,90 € Bestellwert
Gebrauchte & Neue Bücher
Keine Versandkosten
Nachhaltiges Unternehmen
Springer-Verlag GmbH
FM 2009: Formal Methods

FM 2009: Formal Methods

Cavalcanti, Ana

inkl. MwSt. Versandinformationen

Artikel zZt. nicht lieferbar

Artikel zZt. nicht lieferbar

Kurzinformation
Sprache:
Englisch
ISBN:
3642050883
Verlag:
Springer-Verlag GmbH
Seitenzahl:
820
Auflage:
-
Erschienen:
2009-10-26
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

FM 2009: Formal Methods
Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009, Proceedings

FM 2009: Formal Methods von Cavalcanti, Ana

Produktdetails

Einband:
Kartoniert
Seitenzahl:
820
Erschienen:
2009-10-26
Sprache:
Englisch
EAN:
9783642050886
ISBN:
3642050883
Verlag:
Springer-Verlag GmbH
Gewicht:
1182 g
Auflage:
-
Alle gebrauchten Bücher werden von uns handgeprüft.
So garantieren wir Dir zu jeder Zeit Premiumqualität.

Über den Autor

Cavalcanti, Ana

Entdecke mehr vom Verlag

Springer-Verlag GmbH
Neu
149,79 €
Entdecke mehr zum Thema
frontend/listing/product-box/box-product-slider.tpl
-96%
Formal Methods in Computer-Aided Design: Third International Conference, Fmcad 2000 Austin, TX, USA, November 2000 Proceedings (Lecture Notes in ... Notes in Computer Science, 1954, Band 1954)
  • Hardcover
  • 324 Seiten
  • Erschienen 2002
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Formal Methods in Computer-Aided Design: Third...
Hansmann, Uwe;Nicklous, Mar...
4,41 € 114,48 €
Details
frontend/listing/product-box/box-product-slider.tpl
-76%
Formal Methods at the Crossroads. From Panacea to Foundational Support: 10th Anniversary Colloquium of UNU/IIST, the International Institute for . . . ... Notes in Computer Science, 2757, Band 2757)
  • paperback
  • 476 Seiten
  • Erschienen 2004
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Formal Methods at the Crossroads. From Panacea...
Aichernig, Bernhard K.
13,85 € 57,23 €
Details
frontend/listing/product-box/box-product-slider.tpl
-84%
Formal Methods in Software and Systems Modeling: Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday (Lecture Notes in Computer Science, 3393, Band 3393)
  • paperback
  • 448 Seiten
  • Erschienen 2008
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Formal Methods in Software and Systems...
Kreowski, Hans-Jörg
9,36 € 57,23 €
Details
frontend/listing/product-box/box-product-slider.tpl
-82%
Formal Hardware Verification: Methods and Systems in Comparison (Lecture Notes in Computer Science, 1287, Band 1287)
  • hardcover
  • 388 Seiten
  • Erschienen 2008
  • Springer Berlin Heidelberg
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Formal Hardware Verification: Methods and...
Kropf, Thomas
10,22 € 57,23 €
Details
frontend/listing/product-box/box-product-slider.tpl
-92%
SOFSEM 2002: Theory and Practice of Informatics
  • Hardcover
  • 304 Seiten
  • Erschienen 2002
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
SOFSEM 2002: Theory and Practice of Informatics
-
4,05 € 53,49 €
Details
frontend/listing/product-box/box-product-slider.tpl
-67%
Modeling Software with Finite State Machines: A Practical Approach
  • hardcover
  • 390 Seiten
  • Erschienen 2006
  • Auerbach Publications
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Modeling Software with Finite State Machines: A...
Wagner Thomas
54,69 € 165,80 €
Details
frontend/listing/product-box/box-product-slider.tpl
-52%
Model-Based Safety and Assessment: 7th International Symposium, IMBSA 2020, Lisbon, Portugal, September 14–16, 2020, Proceedings (Programming and Software Engineering, Band 12297)
  • paperback
  • 268 Seiten
  • Erschienen 2020
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Model-Based Safety and Assessment: 7th...
Höfig, Kai
33,50 € 69,54 €
Details
frontend/listing/product-box/box-product-slider.tpl
-92%
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
2,28 € 29,90 €
Details
frontend/listing/product-box/box-product-slider.tpl
-71%
Recent Trends in Algebraic Development Techniques: 16th International Workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002, Revised ... Notes in Computer Science, 2755, Band 2755)
  • paperback
  • 472 Seiten
  • Erschienen 2008
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Recent Trends in Algebraic Development...
Pattinson, Dirk
16,71 € 57,23 €
Details
frontend/listing/product-box/box-product-slider.tpl
-76%
Methode zur modellbasierten Bewertung und systematischen Verbesserung von Fertigungssystemen
  • paperback
  • 244 Seiten
  • Erschienen 2021
  • Springer Vieweg
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Methode zur modellbasierten Bewertung und...
Feldmeth, Michael
17,04 € 69,99 €
Details
frontend/listing/product-box/box-product-slider.tpl
-81%
Object-Oriented Technology for Real Time Systems: A Practical Approach Using OMT and Fusion
  • hardcover
  • 308 Seiten
  • Erschienen 2011
  • Prentice Hall
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Object-Oriented Technology for Real Time...
Awad, Maher
14,86 € 76,99 €
Details
frontend/listing/product-box/box-product-slider.tpl
-93%
Leveraging Applications of Formal Methods, Verification and Validation: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October ... Science and General Issues, Band 7610)
  • paperback
  • 380 Seiten
  • Erschienen 2012
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Leveraging Applications of Formal Methods,...
Steffen, Bernhard
3,64 € 53,49 €
Details
frontend/listing/product-box/box-product-slider.tpl
-99%
Formal Models and Semantics (Volume B) (Handbook of Theoretical Computer Science, Volume B)
  • hardcover
  • 1273 Seiten
  • Erschienen 1990
  • Elsevier Science
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Formal Models and Semantics (Volume B)...
Luisa, Bozzano G
3,09 € 246,10 €
Details
frontend/listing/product-box/box-product-slider.tpl
-56%
Entwurfsmuster von Kopf bis Fuß
  • Kartoniert
  • 653 Seiten
  • Erschienen 2015
  • O'Reilly
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Entwurfsmuster von Kopf bis Fuß
Freemann, Eric und Robson, ...
21,88 € 49,90 €
Details
frontend/listing/product-box/box-product-slider.tpl
-82%
Specification and Transformation of Programs: A Formal Approach to Software Development (Springer Texts in Electrical Engineering)
  • paperback
  • 512 Seiten
  • Erschienen 2008
  • Springer Berlin Heidelberg
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Specification and Transformation of Programs: A...
Partsch, Helmut A.
10,34 € 57,23 €
Details
frontend/listing/product-box/box-product-slider.tpl
-92%
Analysis Patterns, Reusable Object Models (Object-Oriented Software Engineering Series)
  • Gebundene Ausgabe
  • 357 Seiten
  • Erschienen 1996
  • Addison-Wesley Longman, Ams...
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Analysis Patterns, Reusable Object Models...
Fowler, Martin
4,67 € 59,60 €
Details
frontend/listing/product-box/box-product-slider.tpl
-99%
Handbook of Formal Languages
  • Hardcover
  • 552 Seiten
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Handbook of Formal Languages
-
1,38 € 246,09 €
Details
frontend/listing/product-box/box-product-slider.tpl
-80%
Tools and Algorithms for the Construction and Analysis of Systems: 13th International Conference, TACAS 2007 Held as Part of the Joint European ... Notes in Computer Science, 4424, Band 4424)
  • Kartoniert
  • 736 Seiten
  • Erschienen 2007
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Tools and Algorithms for the Construction and...
Grumberg, Orna und Huth, Mi...
22,33 € 114,48 €
Details
frontend/listing/product-box/box-product-slider.tpl
-71%
Algebraic Methodology and Software Technology: 10th International Conference, AMAST 2004, Stirling, Scotland, UK, July 12-16, 2004, Proceedings (Lecture Notes in Computer Science, 3116, Band 3116)
  • paperback
  • 584 Seiten
  • Erschienen 2008
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Algebraic Methodology and Software Technology:...
Maharaj, Savitri
16,70 € 57,23 €
Details
frontend/listing/product-box/box-product-slider.tpl
-47%
Handbook of Software Solutions for ICME
  • Gebunden
  • 595 Seiten
  • Erschienen 2016
  • Wiley-VCH
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Handbook of Software Solutions for ICME
Schmitz, Georg J.
100,18 € 189,00 €
Details
frontend/listing/product-box/box-product-slider.tpl
Software Factories: Moderne Software-Architekturen mit SOA, MDA, Patterns und agilen Methoden
  • paperback
  • 496 Seiten
  • Redline
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Software Factories: Moderne...
-
3,50 €
Details
frontend/listing/product-box/box-product-slider.tpl
-74%
New Approaches in Software Measurement: 10th International Workshop, IWSM 2000, Berlin, Germany, October 4-6, 2000. Proceedings (Lecture Notes in Computer Science, 2006, Band 2006)
  • paperback
  • 260 Seiten
  • Erschienen 2009
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
New Approaches in Software Measurement: 10th...
Abran, Alain
15,12 € 57,23 €
Details
frontend/listing/product-box/box-product-slider.tpl
Implementing Functional Prog Languages
  • paperback
  • 500 Seiten
  • Erschienen 1987
  • Prentice Hall International...
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Implementing Functional Prog Languages
Peyton-Jones
197,96 €
Details
frontend/listing/product-box/box-product-slider.tpl
-80%
Methods and Models: A Guide to the Empirical Analysis of Formal Models in Political Science
  • paperback
  • 340 Seiten
  • Erschienen 1999
  • Cambridge University Press
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Methods and Models: A Guide to the Empirical...
Morton, Rebecca B.
7,15 € 36,20 €
Details
frontend/listing/product-box/box-product-slider.tpl
-61%
FEM: Grundlagen und Anwendungen der Finite-Element-Methode im Maschinen- und Fahrzeugbau (Studium Technik)
  • paperback
  • 420 Seiten
  • Erschienen 2007
  • Vieweg+Teubner Verlag
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
FEM: Grundlagen und Anwendungen der...
Klein, Bernd
14,24 € 36,95 €
Details
frontend/listing/product-box/box-product-slider.tpl
-70%
Foundations of Software Science and Computational Structures: 10th International Conference, FOSSACS 2007, Held as Part of the Joint European ... Notes in Computer Science, 4423, Band 4423)
  • Kartoniert
  • 379 Seiten
  • Erschienen 2007
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Foundations of Software Science and...
Seidl, Helmut
17,19 € 57,23 €
Details
frontend/listing/product-box/box-product-slider.tpl
-76%
Mathematical Foundations of Computer Science 2003: 28th International Symposium, MFCS 2003, Bratislava, Slovakia, August 25-29, 2003, Proceedings (Lecture Notes in Computer Science, 2747, Band 2747)
  • paperback
  • 708 Seiten
  • Erschienen 2008
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Mathematical Foundations of Computer Science...
Vojtas, Peter
26,92 € 114,48 €
Details
frontend/listing/product-box/box-product-slider.tpl
-37%
Integrative Computational Materials Engineering: Concepts and Applications of a Modular Simulation Platform
  • hardcover
  • 344 Seiten
  • Erschienen 2012
  • Wiley-VCH
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Integrative Computational Materials...
Prahl, Ulrich
105,70 € 169,00 €
Details
frontend/listing/product-box/box-product-slider.tpl
-63%
mODa 11 - Advances in Model-Oriented Design and Analysis: Proceedings of the 11th International Workshop in Model-Oriented Design and Analysis held in ... 12-17, 2016 (Contributions to Statistics)
  • paperback
  • 268 Seiten
  • Erschienen 2016
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
mODa 11 - Advances in Model-Oriented Design and...
Atkinson, Anthony C.
39,07 € 106,99 €
Details
frontend/listing/product-box/box-product-slider.tpl
-75%
Functional Thinking: Paradigm Over Syntax
  • Hardcover
  • 325 Seiten
  • Erschienen 2014
  • O'Reilly Media
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Functional Thinking: Paradigm Over Syntax
Ford, Neal
9,84 € 39,50 €
Details
frontend/listing/product-box/box-product-slider.tpl
-97%
Handbook of Formal Languages: Volume 3 Beyond Words
  • hardcover
  • 625 Seiten
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Handbook of Formal Languages: Volume 3 Beyond...
Salomaa, Arto
3,24 € 106,95 €
Details
frontend/listing/product-box/box-product-slider.tpl
-12%
Fem: Grundlagen und Anwendungen der Finite-Element-Methode im Maschinen- und Fahrzeugbau (German Edition)
  • paperback
  • 428 Seiten
  • Erschienen 2012
  • Vieweg+Teubner Verlag
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Fem: Grundlagen und Anwendungen der...
Klein, Bernd
30,76 € 34,95 €
Details
frontend/listing/product-box/box-product-slider.tpl
-65%
The Finite Element Method for Engineers
  • hardcover
  • 744 Seiten
  • Erschienen 2001
  • Wiley-Interscience
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
The Finite Element Method for Engineers
Byrom, Ted G.
54,57 € 155,00 €
Details
frontend/listing/product-box/box-product-slider.tpl
-71%
Tools and Algorithms for the Construction and Analysis of Systems: 8th International Conference, TACAS 2002, Held as Part of the Joint European ... Notes in Computer Science, 2280, Band 2280)
  • paperback
  • 500 Seiten
  • Erschienen 2008
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Tools and Algorithms for the Construction and...
Katoen, Joost-Pieter
16,67 € 57,23 €
Details
frontend/listing/product-box/box-product-slider.tpl
-73%
Finite Element Procedures: United States Edition
  • hardcover
  • 1037 Seiten
  • Erschienen 1995
  • Pearson
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Finite Element Procedures: United States Edition
Bathe, Klaus-Jurgen
38,04 € 141,24 €
Details
frontend/listing/product-box/box-product-slider.tpl
-22%
EMC Analysis Methods and Computational Models
  • hardcover
  • 656 Seiten
  • Erschienen 1997
  • Wiley-Interscience
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
EMC Analysis Methods and Computational Models
Karlsson, Torbjörn
202,95 € 259,00 €
Details
frontend/listing/product-box/box-product-slider.tpl
-41%
Introduction to Computational Economics Using Fortran
  • paperback
  • 590 Seiten
  • Erschienen 2018
  • Oxford University Press
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Introduction to Computational Economics Using...
Kindermann, Fabian
36,78 € 62,54 €
Details
frontend/listing/product-box/box-product-slider.tpl
-78%
The Mathematics of Finite Elements and Applications: Highlights 1996
  • paperback
  • 456 Seiten
  • Erschienen 1997
  • John Wiley & Sons Ltd
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
The Mathematics of Finite Elements and...
Whiteman, J. R.
36,09 € 160,45 €
Details
frontend/listing/product-box/box-product-slider.tpl
Ein Meta-Modell für die Definition der Semantik von komplexen Ereignissen in aktiven Datenbankmanagementsystemen
  • mass_market
  • 350 Seiten
  • Erschienen 1998
  • Shaker Verlag
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Ein Meta-Modell für die Definition der Semantik...
Zimmer, Detlef
38,22 €
Details
frontend/listing/product-box/box-product-slider.tpl
-49%
Structural Equation Modeling With AMOS: Basic Concepts, Applications, and Programming, Third Edition (Multivariate Applications)
  • paperback
  • 460 Seiten
  • Erschienen 2016
  • Routledge
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Structural Equation Modeling With AMOS: Basic...
Byrne, Barbara M.
36,15 € 71,49 €
Details