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

Nachhaltiges Unternehmen

Faire Preise

Schneller und kostenloser Versand ab 14,90 € Bestellwert

FM 2009: Formal Methods

Name: FM 2009: Formal Methods
Price: 149.79 EUR
Availability: InStock
Author: Cavalcanti, Ana
ISBN: 3642050883

Cavalcanti, Ana

inkl. MwSt. Versandinformationen

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

Neu bestellen bei

Handgeprüfte Gebrauchtware

Schnelle Lieferung

Faire Preise

inkl. MwSt. Versandinformationen

Artikel zZt. nicht lieferbar

Weitere Zahlungsmöglichkeiten

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

Neu

149,79 €

Entdecke mehr zum Thema

-100%

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

0,00 € 114,48 €

-26%

Formal Hardware Verification: Methods and Systems in Comparison (Lecture Notes in Computer Science, 1287, Band 1287)

paperback
388 Seiten
Erschienen 2008
Springer Berlin Heidelberg

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

Formal Hardware Verification: Methods and...

Kropf, Thomas

42,30 € 57,23 €

-83%

Formal Techniques for Networked and Distributed Systems - FORTE 2008: 28th IFIP WG 6.1 International Conference Tokyo, Japan, June 10-13, 2008 ... Notes in Computer Science, 5048, Band 5048)

Kartoniert
341 Seiten
Erschienen 2008
Springer Berlin Heidelberg

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

Formal Techniques for Networked and Distributed...

Suzuki, Kenji und Higashino...

9,62 € 57,23 €

-81%

Formal Methods in Databases and Software Engineering: Proceedings of the Workshop on Formal Methods in Databases and Software Engineering, Montreal, Canada, 15–16 May 1992 (Workshops in Computing)

paperback
204 Seiten
Erschienen 2013
Springer

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

Formal Methods in Databases and Software...

Alagar, V.S.

10,93 € 57,23 €

Writing Testbenches: Functional Verification of HDL Models

hardcover
384 Seiten
Erschienen 2000
Kluwer Academic Publishers

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

Writing Testbenches: Functional Verification of...

Bergeron, Janick

27,26 €

-58%

Gebunden
280 Seiten
Erschienen 2004
Springer

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

Advanced Formal Verification

Drechsler, Rolf

45,29 € 106,99 €

-100%

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

0,00 € 53,49 €

-1%

Begriffsbasierte Integration von Systemanalysemethoden (Betriebs- und Wirtschaftsinformatik, Band 53)

perfect
464 Seiten
Erschienen 1992
Physica

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

Begriffsbasierte Integration von...

Hansen, Hans R.

54,52 € 54,99 €

FMEA Praxis: Das Komplettpaket für Training und Anwendung

hardcover
196 Seiten
Erschienen 2003
Carl Hanser Verlag GmbH & C...

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

FMEA Praxis: Das Komplettpaket für Training und...

Tietjen, Thorsten

29,79 €

-7%

Anforderungsmanagement: Formale Prozesse, Praxiserfahrungen, Einführungsstrategien und Toolauswahl (Xpert.press)

Gebunden
304 Seiten
Erschienen 2003
Springer

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

Anforderungsmanagement: Formale Prozesse,...

Heßeler, Alexander und Vers...

71,45 € 76,99 €

-55%

Formale Beschreibungsverfahren der Informatik. Ein Arbeitsbuch für die Praxis (Informatik & Praxis)

Hardcover
124 Seiten
Erschienen 2000
B.G. Teubner Verlag

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

Formale Beschreibungsverfahren der Informatik....

Eirund, Helmut;Müller, Bern...

12,71 € 27,99 €

-39%

The Vienna Development Method: The Meta-Language (Lecture Notes in Computer Science, 61, Band 61)

paperback
404 Seiten
Erschienen 2008
Springer

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

The Vienna Development Method: The...

Jones, C. B.

20,87 € 34,34 €

-23%

Transaction-Level Modeling with SystemC: TLM Concepts and Applications for Embedded Systems

Gebunden
288 Seiten
Erschienen 2005
Springer

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

Transaction-Level Modeling with SystemC: TLM...

Ghenassia, Frank

137,64 € 179,71 €

-64%

Measurement, Modelling and Evaluation of Dependable Computer and Communication Systems: 18th International GI/ITG Conference, MMB & DFT 2016, Münster, ... and Software Engineering, Band 9629)

paperback
224 Seiten
Erschienen 2016
Springer

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

Measurement, Modelling and Evaluation of...

Remke, Anne

19,29 € 53,49 €

-28%

Multimedia und Computeranwendungen in der Lehre: 6. CIP-Kongreß, Berlin, 6.-8. Oktober 1992 (Mikrocomputer-Forum für Bildung und Wissenschaft) (German ... für Bildung und Wissenschaft, 5, Band 5)

perfect
588 Seiten
Erschienen 1992
Springer

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

Multimedia und Computeranwendungen in der...

Dette, Klaus

39,72 € 54,99 €

-26%

Formal Methods in Artificial Intelligence (Cambridge Tracts in Theoretical Computer Science, 6, Band 6)

paperback
292 Seiten
Erschienen 2009
Cambridge University Press

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

Formal Methods in Artificial Intelligence...

Ramsay, Allan

37,29 € 50,19 €

-42%

Modellierung: Grundlagen und formale Methoden

hardcover
293 Seiten
Erschienen 2008
Carl Hanser Verlag GmbH & C...

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

Modellierung: Grundlagen und formale Methoden

Kleine Büning, Hans

20,24 € 34,90 €

-37%

Mathematical Foundations of Computer Science 2007: 32nd International Symposium, MFCS 2007 Ceský Krumlov, Czech Republic, August 26-31, 2007, ... Notes in Computer Science, 4708, Band 4708)

Kartoniert
764 Seiten
Erschienen 2007
Springer

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

Mathematical Foundations of Computer Science...

Kucera, Ludek und Kucera, A...

72,39 € 114,48 €

-81%

Designing Concurrent, Distributed and Real-Time Applications with UML: Forew. by Peter Freeman and Bran Selic (Addison-wesley Object Technology Series)

hardcover
785 Seiten
Erschienen 2000
Addison-Wesley Longman, Ams...

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

Designing Concurrent, Distributed and Real-Time...

Gomaa, Hassan

9,70 € 52,38 €

-84%

Function-Point-Analyse: Ein Praxishandbuch

Gebunden
154 Seiten
Erschienen 2012
dpunkt.verlag GmbH

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

Function-Point-Analyse: Ein Praxishandbuch

Poensgen, Benjamin

5,88 € 36,90 €

-38%

Mathematical Foundations of Computer Science 2001: 26th International Symposium, MFCS 2001 Marianske Lazne, Czech Republic, August 27-31, 2001 ... Notes in Computer Science, 2136, Band 2136)

paperback
740 Seiten
Erschienen 2008
Springer

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

Mathematical Foundations of Computer Science...

Pultr, Ales

71,48 € 114,48 €

-95%

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

3,62 € 69,54 €

-1%

Language Design and Programming Methodology: Proceedings of a Symposium, Held in Sidney, Australia, September 10-11, 1979 (Lecture Notes in Computer Science, 79, Band 79)

paperback
280 Seiten
Erschienen 2008
Springer

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

Language Design and Programming Methodology:...

Tobias, J. M.

26,09 € 26,32 €

-97%

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

1,81 € 57,23 €

-29%

Functional and Constraint Logic Programming: 20th International Workshop, WFLP 2011, Odense, Denmark, July 19, 2011, Proceedings (Lecture Notes in Computer Science, Band 6816)

Kartoniert
155 Seiten
Erschienen 2011
Springer

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

Functional and Constraint Logic Programming:...

Kuchen, Herbert

40,59 € 57,23 €

-32%

Mathematical Foundations of Computer Science 2005: 30th International Symposium, MFCS 2005, Gdansk, Poland, August29-September 2. 2005, Proceedings (Lecture Notes in Computer Science, 3618, Band 3618)

paperback
830 Seiten
Erschienen 2005
Springer

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

Mathematical Foundations of Computer Science...

Jedrzejowicz, Joanna

72,39 € 106,99 €

-18%

FEM: Grundlagen und Anwendungen der Finite-Element-Methode im Maschinen- und Fahrzeugbau: Grundlagen und Anwendungen der Finite-Elemente-Methode im ... Mit 12 Fallstudien und 20 Übungsaufgaben

Hardcover
Erschienen 2012
Vieweg+Teubner Verlag

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

FEM: Grundlagen und Anwendungen der...

Klein, Bernd

28,52 € 34,95 €

-32%

Mathematical Foundations of Computer Science 2006: 31st International Symposium, MFCS 2006, Stará Lesná, Slovakia, August 28-September 1, 2006, ... Notes in Computer Science, 4162, Band 4162)

paperback
832 Seiten
Erschienen 2006
Springer

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

Mathematical Foundations of Computer Science...

Královic, Rastislav

72,37 € 106,99 €

-78%

Formale Sprachen, Compilerbau, Berechenbarkeit und Komplexität (De Gruyter Studium)

Kartoniert
251 Seiten
Erschienen 2019
De Gruyter Oldenbourg

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

Formale Sprachen, Compilerbau, Berechenbarkeit...

Gumm, Heinz-Peter und Somme...

13,36 € 59,95 €

-100%

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

0,00 € 53,49 €

Domain Decomposition Methods 10: The Tenth International Conference on Domain Decomposition Methods, August 10-14, 1997, Boulder, Colorado, USA (Contemporary Mathematics)

paperback
554 Seiten
Erschienen 1998
American Mathematical Society

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

Domain Decomposition Methods 10: The Tenth...

International Conference on...

129,64 €

-7%

Entwurfsbegleitende Leistungsanalyse mit UML, MARTE und Generalisierten Netzen

hardcover
319 Seiten
Erschienen 2013
Oldenbourg Wissenschaftsverlag

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

Entwurfsbegleitende Leistungsanalyse mit UML,...

Koycheva, Evelina

92,76 € 99,95 €

Designing Database Applications with Objects and Rule: The IDEA Methodology (Series on Database Systems and Applications)

hardcover
600 Seiten
Erschienen 1997
Addison Wesley

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

Designing Database Applications with Objects...

Ceri, Stefano

25,09 €

-9%

Modellierung Von Eingebetteten Systemen Mit Uml Und Sysml (German Edition)

Kartoniert
304 Seiten
Erschienen 2008
Spektrum Akademischer Verlag

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

Modellierung Von Eingebetteten Systemen Mit Uml...

Korff, Andreas

40,98 € 44,99 €

-49%

FEM - Finite-Elemente-Methode im konstruktiven Ingenieurbau

paperback
239 Seiten
Erschienen 2002
Werner, Neuwied

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

FEM - Finite-Elemente-Methode im konstruktiven...

Ahlert, Helmut

17,96 € 35,00 €

-93%

EMF: Eclipse Modeling Framework (2nd Edition) (Eclipse)

Kartoniert
704 Seiten
Erschienen 2009
Pearson Education

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

EMF: Eclipse Modeling Framework (2nd Edition)...

Steinberg, David

3,58 € 48,00 €

-53%

Computer-Aided Modeling of Reactive Systems

hardcover
288 Seiten
Erschienen 2008
WILEY-AICHE

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

Computer-Aided Modeling of Reactive Systems

Caracotsios, Michael

49,60 € 105,00 €

-74%

Programming F #. A Comprehensive Guide for Writing Simple Code to Solve Complex Problems

paperback
383 Seiten
Erschienen 2009
O'Reilly & Associates

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

Programming F #. A Comprehensive Guide for...

Syme, Don

9,48 € 37,00 €

-80%

Interaction Flow Modeling Language: Model-Driven UI Engineering of Web and Mobile Apps with IFML (The MK/OMG Press)

paperback
422 Seiten
Erschienen 2014
Morgan Kaufmann

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

Interaction Flow Modeling Language:...

Fraternali, Piero

10,04 € 49,17 €

-80%

Best Practice Software-Engineering: Eine praxiserprobte Zusammenstellung von komponentenorientierten Konzepten, Methoden und Werkzeugen

Gebunden
452 Seiten
Erschienen 2010
Spektrum Akademischer Verlag

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

Best Practice Software-Engineering: Eine...

Schatten, Alexander und Bif...

17,92 € 89,99 €