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
-98%
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...
2,41 € 114,48 €
Details
frontend/listing/product-box/box-product-slider.tpl
-89%
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.
6,40 € 57,23 €
Details
frontend/listing/product-box/box-product-slider.tpl
-91%
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
5,11 € 57,23 €
Details
frontend/listing/product-box/box-product-slider.tpl
-90%
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
5,58 € 57,23 €
Details
frontend/listing/product-box/box-product-slider.tpl
-96%
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
-
2,21 € 53,49 €
Details
frontend/listing/product-box/box-product-slider.tpl
-74%
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
18,30 € 69,54 €
Details
frontend/listing/product-box/box-product-slider.tpl
-84%
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
9,13 € 57,23 €
Details
frontend/listing/product-box/box-product-slider.tpl
-87%
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
9,31 € 69,99 €
Details
frontend/listing/product-box/box-product-slider.tpl
-89%
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
8,12 € 76,99 €
Details
frontend/listing/product-box/box-product-slider.tpl
-96%
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
1,99 € 53,49 €
Details
frontend/listing/product-box/box-product-slider.tpl
-90%
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.
5,65 € 57,23 €
Details
frontend/listing/product-box/box-product-slider.tpl
-96%
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
2,55 € 59,60 €
Details
frontend/listing/product-box/box-product-slider.tpl
-100%
Handbook of Formal Languages
  • Hardcover
  • 552 Seiten
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Handbook of Formal Languages
-
0,00 € 246,09 €
Details
frontend/listing/product-box/box-product-slider.tpl
-89%
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...
12,20 € 114,48 €
Details
frontend/listing/product-box/box-product-slider.tpl
-52%
Patterns of Enterprise Application Architecture
  • Kartoniert
    • -
  • Erschienen 2002
  • Pearson International
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Patterns of Enterprise Application Architecture
Fowler, Martin
30,75 € 64,19 €
Details
frontend/listing/product-box/box-product-slider.tpl
-84%
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
9,12 € 57,23 €
Details
frontend/listing/product-box/box-product-slider.tpl
-71%
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.
54,72 € 189,00 €
Details
frontend/listing/product-box/box-product-slider.tpl
-71%
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, ...
14,46 € 49,90 €
Details
frontend/listing/product-box/box-product-slider.tpl
-45%
Recent Advances in Formal Languages and Applications (Studies in Computational Intelligence, 25, Band 24)
  • hardcover
  • 381 Seiten
  • Erschienen 2006
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Recent Advances in Formal Languages and...
Mitrana, Victor
88,46 € 160,49 €
Details
frontend/listing/product-box/box-product-slider.tpl
-86%
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
8,26 € 57,23 €
Details
frontend/listing/product-box/box-product-slider.tpl
-89%
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.
3,91 € 36,20 €
Details
frontend/listing/product-box/box-product-slider.tpl
-96%
EUROVAL ― An European Initiative on Validation of CFD Codes: Results of the EC/BRITE-EURAM Project EUROVAL, 1990–1992 (Notes on Numerical Fluid Mechanics and Multidisciplinary Design, 42, Band 42)
  • paperback
  • 545 Seiten
  • Erschienen 1993
  • Vieweg+Teubner Verlag
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
EUROVAL ― An European Initiative on Validation...
Schwamborn, Dieter
3,22 € 79,99 €
Details
frontend/listing/product-box/box-product-slider.tpl
-79%
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
7,78 € 36,95 €
Details
frontend/listing/product-box/box-product-slider.tpl
-84%
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
9,39 € 57,23 €
Details
frontend/listing/product-box/box-product-slider.tpl
-87%
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
14,70 € 114,48 €
Details
frontend/listing/product-box/box-product-slider.tpl
-94%
Object-Oriented Metrics in Practice: Using Software Metrics to Characterize, Evaluate, and Improve the Design of Object-Oriented Systems
  • Gebunden
  • 205 Seiten
  • Erschienen 2006
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Object-Oriented Metrics in Practice: Using...
Lanza, Michele und Marinesc...
4,28 € 69,54 €
Details
frontend/listing/product-box/box-product-slider.tpl
-80%
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.
21,34 € 106,99 €
Details
frontend/listing/product-box/box-product-slider.tpl
-86%
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
5,37 € 39,50 €
Details
frontend/listing/product-box/box-product-slider.tpl
-98%
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
1,77 € 106,95 €
Details
frontend/listing/product-box/box-product-slider.tpl
-52%
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
16,65 € 34,95 €
Details
frontend/listing/product-box/box-product-slider.tpl
-95%
Real-Time Modelling and Processing for Communication Systems: Applications and Practices (Lecture Notes in Networks and Systems, 29, Band 29)
  • Gebunden
  • 282 Seiten
  • Erschienen 2018
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Real-Time Modelling and Processing for...
Alam, Muhammad und Dghais, ...
5,25 € 106,99 €
Details
frontend/listing/product-box/box-product-slider.tpl
-84%
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
9,11 € 57,23 €
Details
frontend/listing/product-box/box-product-slider.tpl
-56%
Misspecification Analysis: Proceedings, Groningen, The Netherlands, 1983: Proceedings of a Workshop held in Groningen, The Netherlands December 15–16, ... and Mathematical Systems, 237, Band 237)
  • paperback
  • 140 Seiten
  • Erschienen 1984
  • Springer-Verlag
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Misspecification Analysis: Proceedings,...
Dijkstra, Theo K.
50,38 € 114,48 €
Details
frontend/listing/product-box/box-product-slider.tpl
-68%
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
20,09 € 62,54 €
Details
frontend/listing/product-box/box-product-slider.tpl
-69%
Structured Development for Real-Time Systems, Vol. II: Essential Modeling Techniques
  • paperback
  • 176 Seiten
  • Erschienen 2008
  • Pearson Technology Group
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Structured Development for Real-Time Systems,...
Ward, P.
14,75 € 46,99 €
Details
frontend/listing/product-box/box-product-slider.tpl
-59%
Functional Safety of Machinery: How to Apply ISO 13849-1 and IEC 62061
  • hardcover
  • 352 Seiten
  • Erschienen 2023
  • Wiley
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Functional Safety of Machinery: How to Apply...
Tacchini, Marco
43,67 € 106,90 €
Details
frontend/listing/product-box/box-product-slider.tpl
Verification Methodology Manual: For Code Coverage in HDL Designs (HDL Designer S.)
  • hardcover
  • 128 Seiten
  • Erschienen 2000
  • Teamwork International
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Verification Methodology Manual: For Code...
Moses, Chris
25,18 €
Details
frontend/listing/product-box/box-product-slider.tpl
-97%
Practical Aspects of Declarative Languages: First International Workshop, PADL'99, San Antonio, Texas, USA, January 18-19, 1999, Proceedings (Lecture Notes in Computer Science, 1551, Band 1551)
  • paperback
  • 384 Seiten
  • Erschienen 2008
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Practical Aspects of Declarative Languages:...
Gupta, Gopal
1,92 € 57,23 €
Details
frontend/listing/product-box/box-product-slider.tpl
-53%
Foundations of Logic and Functional Programming: Workshop, Trento, Italy, December 15-19, 1986. Proceedings (Lecture Notes in Computer Science, 306, Band 306)
  • paperback
  • 232 Seiten
  • Erschienen 2008
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Foundations of Logic and Functional...
Levi, Giorgio
27,08 € 57,23 €
Details
frontend/listing/product-box/box-product-slider.tpl
Die formale Methode in der Literaturwissenschaft
  • perfect
    • -
  • -
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Die formale Methode in der Literaturwissenschaft
-
15,20 €
Details