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
-97%
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...
3,44 € 114,48 €
Details
frontend/listing/product-box/box-product-slider.tpl
-84%
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.
9,15 € 57,23 €
Details
frontend/listing/product-box/box-product-slider.tpl
-87%
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
7,32 € 57,23 €
Details
frontend/listing/product-box/box-product-slider.tpl
-86%
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
7,99 € 57,23 €
Details
frontend/listing/product-box/box-product-slider.tpl
-94%
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
-
3,17 € 53,49 €
Details
frontend/listing/product-box/box-product-slider.tpl
-74%
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
42,75 € 165,80 €
Details
frontend/listing/product-box/box-product-slider.tpl
-62%
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
26,18 € 69,54 €
Details
frontend/listing/product-box/box-product-slider.tpl
-77%
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
13,06 € 57,23 €
Details
frontend/listing/product-box/box-product-slider.tpl
-85%
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
11,62 € 76,99 €
Details
frontend/listing/product-box/box-product-slider.tpl
-95%
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
2,84 € 53,49 €
Details
frontend/listing/product-box/box-product-slider.tpl
-66%
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, ...
17,11 € 49,90 €
Details
frontend/listing/product-box/box-product-slider.tpl
-86%
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.
8,08 € 57,23 €
Details
frontend/listing/product-box/box-product-slider.tpl
-94%
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
3,65 € 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
-
1,08 € 246,09 €
Details
frontend/listing/product-box/box-product-slider.tpl
-85%
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...
17,46 € 114,48 €
Details
frontend/listing/product-box/box-product-slider.tpl
-77%
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
13,06 € 57,23 €
Details
frontend/listing/product-box/box-product-slider.tpl
-79%
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
11,82 € 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
154,75 €
Details
frontend/listing/product-box/box-product-slider.tpl
-82%
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
21,04 € 114,48 €
Details
frontend/listing/product-box/box-product-slider.tpl
-77%
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
13,44 € 57,23 €
Details
frontend/listing/product-box/box-product-slider.tpl
-71%
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.
30,54 € 106,99 €
Details
frontend/listing/product-box/box-product-slider.tpl
-81%
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
7,69 € 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
2,53 € 106,95 €
Details
frontend/listing/product-box/box-product-slider.tpl
-93%
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
2,54 € 34,08 €
Details
frontend/listing/product-box/box-product-slider.tpl
-77%
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
13,03 € 57,23 €
Details
frontend/listing/product-box/box-product-slider.tpl
-42%
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
62,50 € 106,90 €
Details
frontend/listing/product-box/box-product-slider.tpl
-60%
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.
28,26 € 71,49 €
Details
frontend/listing/product-box/box-product-slider.tpl
-93%
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
2,61 € 37,50 €
Details
frontend/listing/product-box/box-product-slider.tpl
-95%
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
2,74 € 57,23 €
Details
frontend/listing/product-box/box-product-slider.tpl
-97%
Projektorganisation und Management im Software Engineering
  • Gebunden
  • 432 Seiten
  • Erschienen 2013
  • Springer Vieweg
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Projektorganisation und Management im Software...
Broy, Manfred
1,82 € 64,99 €
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
-
21,75 €
Details
frontend/listing/product-box/box-product-slider.tpl
-91%
Design And Validation Of Computer Protocols
  • paperback
  • 512 Seiten
  • Erschienen 2008
  • Pearson Technology Group
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Design And Validation Of Computer Protocols
Holzmann, Gerard J.
10,05 € 105,99 €
Details
frontend/listing/product-box/box-product-slider.tpl
-75%
Multiple Classifier Systems: 4th International Workshop, MCS 2003 Guilford, UK, June 11-13, 2003 Proceedings (Lecture Notes in Computer Science, 2709, Band 2709)
  • paperback
  • 424 Seiten
  • Erschienen 2009
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Multiple Classifier Systems: 4th International...
Roli, Fabio
14,07 € 57,23 €
Details
frontend/listing/product-box/box-product-slider.tpl
-56%
Objektorientierter Fachentwurf: Ein terminologiebasierter Ansatz für die Konstruktion von Anwendungssystemen (XTeubner Studienbücher Informatik) ... Studienbücher Informatik, 20, Band 20)
  • paperback
  • 340 Seiten
  • Erschienen 1997
  • Vieweg+Teubner Verlag
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Objektorientierter Fachentwurf: Ein...
., .
21,92 € 49,99 €
Details
frontend/listing/product-box/box-product-slider.tpl
-92%
MODULAR FORMS: A CLASSICAL & COMPUTATIO..
  • hardcover
  • 238 Seiten
  • Erschienen 2008
  • ICP
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
MODULAR FORMS: A CLASSICAL & COMPUTATIO..
L J P Kilford
7,80 € 99,40 €
Details
frontend/listing/product-box/box-product-slider.tpl
-88%
Tools and Algorithms for the Construction and Analysis of Systems: 7th International Conference, TACAS 2001 Held as Part of the Joint European ... Notes in Computer Science, 2031, Band 2031)
  • paperback
  • 608 Seiten
  • Erschienen 2009
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Tools and Algorithms for the Construction and...
Yi, Wang
14,17 € 114,48 €
Details
frontend/listing/product-box/box-product-slider.tpl
-88%
Modellgetriebene Softwareentwicklung: Techniken, Engineering, Management
  • paperback
  • 458 Seiten
  • Erschienen 2007
  • dpunkt
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Modellgetriebene Softwareentwicklung:...
Helsen, Simon
5,78 € 49,00 €
Details
frontend/listing/product-box/box-product-slider.tpl
-50%
Programming Language Syntax and Semantics (Prentice-Hall International Series in Computer Science)
  • paperback
  • 389 Seiten
  • Erschienen 1996
  • Pearson Education Limited
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Programming Language Syntax and Semantics...
Thomas, Muffy
23,68 € 47,08 €
Details
frontend/listing/product-box/box-product-slider.tpl
-75%
Recent Trends in Data Type Specification: 11th Workshop on Specification of Abstract Data Types, Joint with the 8th COMPASS Workshop, Oslo, Norway, ... Notes in Computer Science, 1130, Band 1130)
  • Kartoniert
  • 551 Seiten
  • Erschienen 1996
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Recent Trends in Data Type Specification: 11th...
Haveraaen, M. und Owe, O. u...
14,38 € 57,23 €
Details
frontend/listing/product-box/box-product-slider.tpl
-88%
Component-Based Software Engineering (Managing Object Technology Series, 10, Band 10)
  • paperback
  • 172 Seiten
  • Erschienen 1998
  • Cambridge University Press
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Component-Based Software Engineering (Managing...
Jell, Thomas
9,32 € 74,68 €
Details