Um Studibuch in vollem Umfang nutzen zu können, empfehlen wir Dir Javascript in Deinem Browser zu aktiveren.

Klimaneutrales Unternehmen

Faire Preise

Schneller und kostenloser Versand ab 14,90 € Bestellwert

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 bestellen bei

Handgeprüfte Gebrauchtware

Schnelle Lieferung

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

-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,42 € 114,48 €

-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,89 € 57,23 €

-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,38 € 57,23 €

-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,24 € 57,23 €

-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,06 € 53,49 €

-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,82 € 165,80 €

-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,58 € 69,54 €

-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 €

-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,75 € 57,23 €

-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,08 € 69,99 €

-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,65 € 53,49 €

-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,10 € 246,10 €

-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,94 € 49,90 €

-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,36 € 57,23 €

-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,68 € 59,60 €

-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 €

-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,39 € 114,48 €

-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,74 € 57,23 €

-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,42 € 189,00 €

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 €

-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,15 € 57,23 €

-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,17 € 36,20 €

-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,27 € 36,95 €

-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,23 € 57,23 €

-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,98 € 114,48 €

-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,96 € 169,00 €

-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,16 € 106,99 €

-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 €

-11%

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,98 € 34,95 €

-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,70 € 155,00 €

-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,71 € 57,23 €

-70%

Model-Based Systems Engineering with OPM and SysML

paperback
436 Seiten
Erschienen 2018
Springer

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

Model-Based Systems Engineering with OPM and SysML

Dori, Dov

20,85 € 69,54 €

-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,13 € 141,24 €

-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,87 € 62,54 €

-77%

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,17 € 160,45 €

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,31 €

-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,24 € 71,49 €

-91%

Silver, B: DMN METHOD & STYLE

paperback
332 Seiten
Erschienen 2016
Cody-Cassidy Press

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

Silver, B: DMN METHOD & STYLE

Sayles, Aaron

3,35 € 37,50 €

-80%

Nonlinear Finite Element Analysis of Solids and Structures (Wiley Series in Computational Mechanics)

Hardcover
542 Seiten
Erschienen 2012
Wiley

inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)

Nonlinear Finite Element Analysis of Solids and...

de Borst;Crisfield;Remmers;

25,98 € 133,20 €

-94%

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

3,51 € 57,23 €