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.
Neu bei lehmanns bestellen
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
-94%
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...
7,06 € 114,48 €
Details
frontend/listing/product-box/box-product-slider.tpl
-54%
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.
26,25 € 57,23 €
Details
frontend/listing/product-box/box-product-slider.tpl
-44%
Formal Description Techniques, IV (Ifip Transactions C : Communication Systems, Technical Committee 6)
  • paperback
  • 596 Seiten
  • Erschienen 1992
  • North Holland
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Formal Description Techniques, IV (Ifip...
Rose, G. A.
40,96 € 72,71 €
Details
frontend/listing/product-box/box-product-slider.tpl
-74%
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
14,99 € 57,23 €
Details
frontend/listing/product-box/box-product-slider.tpl
-71%
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
16,37 € 57,23 €
Details
frontend/listing/product-box/box-product-slider.tpl
-88%
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
-
6,49 € 53,49 €
Details
frontend/listing/product-box/box-product-slider.tpl
-44%
Formal Description of Programming Concepts III (Formal Description of Programming Concepts: Conference Proceedings)
  • hardcover
  • 466 Seiten
  • Erschienen 1988
  • Elsevier Science Ltd
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Formal Description of Programming Concepts III...
Wirsing, Martin
96,45 € 171,20 €
Details
frontend/listing/product-box/box-product-slider.tpl
-88%
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.
6,74 € 54,99 €
Details
frontend/listing/product-box/box-product-slider.tpl
-63%
Patterns für Enterprise Application-Architekturen (mitp Professional)
  • perfect
  • 592 Seiten
  • Erschienen 2003
  • mitp
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Patterns für Enterprise...
Fowler, Martin
14,62 € 39,95 €
Details
frontend/listing/product-box/box-product-slider.tpl
-86%
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
4,32 € 29,90 €
Details
frontend/listing/product-box/box-product-slider.tpl
-53%
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
26,76 € 57,23 €
Details
frontend/listing/product-box/box-product-slider.tpl
-69%
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
23,81 € 76,99 €
Details
frontend/listing/product-box/box-product-slider.tpl
-89%
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
5,83 € 53,49 €
Details
frontend/listing/product-box/box-product-slider.tpl
-98%
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
4,96 € 246,10 €
Details
frontend/listing/product-box/box-product-slider.tpl
-71%
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.
16,56 € 57,23 €
Details
frontend/listing/product-box/box-product-slider.tpl
-85%
The Structure of the Clause
  • Hardcover
  • 532 Seiten
  • Erschienen 1997
  • Mouton de Gruyter
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
The Structure of the Clause
Dik, Simon C.
6,64 € 44,95 €
Details
frontend/listing/product-box/box-product-slider.tpl
-98%
Learning UML 2.0: A Pragmatic Introduction to UML
  • Kartoniert
  • 286 Seiten
  • Erschienen 2006
  • O'Reilly and Associates
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Learning UML 2.0: A Pragmatic Introduction to UML
Miles, Russ und Hamilton, K...
0,97 € 55,00 €
Details
frontend/listing/product-box/box-product-slider.tpl
-53%
Model Checking Software: 10th International SPIN Workshop. Portland, OR, USA, May 9-10, 2003, Proceedings (Lecture Notes in Computer Science, 2648, Band 2648)
  • paperback
  • 256 Seiten
  • Erschienen 2008
  • Springer Berlin Heidelberg
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Model Checking Software: 10th International...
Various, .
26,76 € 57,23 €
Details
frontend/listing/product-box/box-product-slider.tpl
-87%
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
7,48 € 59,60 €
Details
frontend/listing/product-box/box-product-slider.tpl
-81%
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
40,59 € 217,50 €
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
-
2,21 € 246,09 €
Details
frontend/listing/product-box/box-product-slider.tpl
-69%
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...
35,78 € 114,48 €
Details
frontend/listing/product-box/box-product-slider.tpl
-57%
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
27,40 € 64,19 €
Details
frontend/listing/product-box/box-product-slider.tpl
-53%
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
26,76 € 57,23 €
Details
frontend/listing/product-box/box-product-slider.tpl
-85%
Fem bei Baugruppen: Eine Analyse von Schweißverbindungen bei Baugruppen
  • paperback
  • 54 Seiten
  • Erschienen 2013
  • Bachelor + Master Publishing
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Fem bei Baugruppen: Eine Analyse von...
Schulz, Steffen
3,59 € 24,00 €
Details
frontend/listing/product-box/box-product-slider.tpl
-86%
FEM: Grundlagen und Anwendungen der Finite-Elemente-Methode (Studium Technik)
  • paperback
  • 366 Seiten
  • Erschienen 2001
  • Vieweg Verlagsgesellschaft
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
FEM: Grundlagen und Anwendungen der...
Klein, Bernd
6,80 € 49,95 €
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...
-
5,60 €
Details
frontend/listing/product-box/box-product-slider.tpl
-83%
Enterprise Java Frameworks - Java Technologien professionell einsetzen.
  • hardcover
  • 288 Seiten
  • Erschienen 2001
  • Addison-Wesley
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Enterprise Java Frameworks - Java Technologien...
Bien, Adam
7,76 € 44,95 €
Details
frontend/listing/product-box/box-product-slider.tpl
-34%
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
22,98 € 34,95 €
Details
frontend/listing/product-box/box-product-slider.tpl
-58%
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
24,22 € 57,23 €
Details
frontend/listing/product-box/box-product-slider.tpl
-80%
Methoden des Software Engineering: Funktions-, daten-, objekt- und aspektorientiert entwickeln
  • Hardcover
    • -
  • Erschienen 2012
  • Springer Vieweg
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Methoden des Software Engineering: Funktions-,...
Goll, Joachim
5,07 € 24,95 €
Details
frontend/listing/product-box/box-product-slider.tpl
-86%
Analysis of Machine Elements Using COSMOSWorks 2008
  • perfect
    • -
  • Erschienen 2008
  • Schroff Development Corp
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Analysis of Machine Elements Using COSMOSWorks...
Steffen, John R., Ph.D.
5,92 € 42,75 €
Details
frontend/listing/product-box/box-product-slider.tpl
-68%
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.
11,46 € 36,20 €
Details
frontend/listing/product-box/box-product-slider.tpl
-91%
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
6,85 € 79,99 €
Details
frontend/listing/product-box/box-product-slider.tpl
-38%
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
22,81 € 36,95 €
Details
frontend/listing/product-box/box-product-slider.tpl
-52%
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
27,53 € 57,23 €
Details
frontend/listing/product-box/box-product-slider.tpl
-62%
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
43,12 € 114,48 €
Details
frontend/listing/product-box/box-product-slider.tpl
-82%
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...
12,54 € 69,54 €
Details
frontend/listing/product-box/box-product-slider.tpl
-95%
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
5,18 € 106,95 €
Details
frontend/listing/product-box/box-product-slider.tpl
-85%
Osf/Motif: Concepts and Programming
  • paperback
  • 504 Seiten
  • Erschienen 1991
  • Pearson Education Limited
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Osf/Motif: Concepts and Programming
Berlage, Thomas
5,20 € 34,08 €
Details