LeafKlimaneutrales Unternehmen CoinFaire Preise PackageSchneller und kostenloser Versand ab 14,90 € Bestellwert
Gebrauchte & Neue Bücher
Keine Versandkosten
Nachhaltiges Unternehmen
Springer-Verlag GmbH
Integrated Formal Methods

Integrated Formal Methods

Albert, Elvira und Sekerinski, Emil

inkl. MwSt. Versandinformationen

Artikel zZt. nicht lieferbar

Artikel zZt. nicht lieferbar

Kurzinformation
Sprache:
Englisch
ISBN:
3319101803
Verlag:
Springer-Verlag GmbH
Seitenzahl:
390
Auflage:
-
Erschienen:
2014-09-14
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

Integrated Formal Methods
11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings

This book constitutes the refereed proceedings of the 11th International Conference on Integrated Formal Methods, IFM 2014, held in Bertinoro, Italy, in September 2014. The 21 revised full papers presented together with 2 invited papers were carefully reviewed and selected from 43 submissions. The papers have been organized in the following topical sections: tool integration; model verification; program development; security analysis; analysis and transformation; and concurrency and control. von Albert, Elvira und Sekerinski, Emil

Produktdetails

Einband:
Kartoniert
Seitenzahl:
390
Erschienen:
2014-09-14
Sprache:
Englisch
EAN:
9783319101804
ISBN:
3319101803
Verlag:
Springer-Verlag GmbH
Gewicht:
610 g
Auflage:
-
Alle gebrauchten Bücher werden von uns handgeprüft.
So garantieren wir Dir zu jeder Zeit Premiumqualität.

Über den Autor

Albert, Elvira und Sekerinski, Emil

Entdecke mehr vom Verlag

Springer-Verlag GmbH
Neu
53,49 €
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...
6,68 € 114,48 €
Details
frontend/listing/product-box/box-product-slider.tpl
-57%
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.
24,83 € 57,23 €
Details
frontend/listing/product-box/box-product-slider.tpl
-47%
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.
38,75 € 72,71 €
Details
frontend/listing/product-box/box-product-slider.tpl
-73%
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
15,48 € 57,23 €
Details
frontend/listing/product-box/box-product-slider.tpl
-75%
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,18 € 57,23 €
Details
frontend/listing/product-box/box-product-slider.tpl
-47%
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
91,23 € 171,20 €
Details
frontend/listing/product-box/box-product-slider.tpl
Computergestützte Problemstrukturierung. Anwendung der Interpretativen Strukturmodellierungs-Technik in Gruppen.
  • paperback
  • 412 Seiten
  • -
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Computergestützte Problemstrukturierung....
-
10,87 €
Details
frontend/listing/product-box/box-product-slider.tpl
-90%
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,51 € 53,49 €
Details
frontend/listing/product-box/box-product-slider.tpl
-20%
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
55,87 € 69,54 €
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,69 € 246,10 €
Details
frontend/listing/product-box/box-product-slider.tpl
-95%
Extensional Gödel Functional Interpretation
  • Hardcover
  • 172 Seiten
  • Erschienen 1973
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Extensional Gödel Functional Interpretation
Luckhardt, Horst
1,39 € 26,74 €
Details
frontend/listing/product-box/box-product-slider.tpl
-5%
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.
179,52 € 189,00 €
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,08 € 29,90 €
Details
frontend/listing/product-box/box-product-slider.tpl
-88%
Elementary Induction on Abstract Structures
  • Taschenbuch
  • 242 Seiten
  • Erschienen 2008
  • Dover Pubn Inc
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Elementary Induction on Abstract Structures
Moschovakis, Yiannis N
1,77 € 15,00 €
Details
frontend/listing/product-box/box-product-slider.tpl
-43%
Formal Ethics (Inter-American Dialogue Book)
  • paperback
  • 224 Seiten
  • Erschienen 1996
  • Routledge
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Formal Ethics (Inter-American Dialogue Book)
Gensler, Harry
36,75 € 64,99 €
Details
frontend/listing/product-box/box-product-slider.tpl
-88%
Proof Theory and Intuitionistic Systems
  • Hardcover
  • 300 Seiten
  • Erschienen 1971
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Proof Theory and Intuitionistic Systems
Scarpellini, Bruno
4,93 € 42,75 €
Details
frontend/listing/product-box/box-product-slider.tpl
-82%
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
38,39 € 217,50 €
Details
frontend/listing/product-box/box-product-slider.tpl
-88%
Metamathematical Investigation of Intuitionistic Arithmetic and Analysis
  • Hardcover
  • 504 Seiten
  • Erschienen 1973
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Metamathematical Investigation of...
Troelstra, Anne S.
8,01 € 69,54 €
Details
frontend/listing/product-box/box-product-slider.tpl
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
187,01 €
Details
frontend/listing/product-box/box-product-slider.tpl
-75%
Formal Logic: Its Scope and Limits
  • hardcover
  • 198 Seiten
  • Erschienen 1981
  • McGraw-Hill Inc.,US
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Formal Logic: Its Scope and Limits
Jeffrey, Richard C.
16,05 € 64,57 €
Details
frontend/listing/product-box/box-product-slider.tpl
-85%
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
15,11 € 99,40 €
Details
frontend/listing/product-box/box-product-slider.tpl
-55%
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
31,51 € 69,54 €
Details
frontend/listing/product-box/box-product-slider.tpl
-70%
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.
10,84 € 36,20 €
Details
frontend/listing/product-box/box-product-slider.tpl
Systems Engineering mit SysML /UML: Modellierung, Analyse, Design - Mit einem Geleitwort von Richard Soley
  • paperback
  • 376 Seiten
  • Erschienen 2006
  • dpunkt
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Systems Engineering mit SysML /UML:...
Weilkiens, Tim
43,43 €
Details
frontend/listing/product-box/box-product-slider.tpl
-64%
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
40,79 € 114,48 €
Details
frontend/listing/product-box/box-product-slider.tpl
-54%
Studies in model theory
  • hardcover
  • 197 Seiten
  • Erschienen 1973
  • Mathematical Association of...
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Studies in model theory
Michael D. Morley
5,97 € 12,84 €
Details
frontend/listing/product-box/box-product-slider.tpl
-90%
Foundations of the Mathematical Theory of Structures (CISM International Centre for Mechanical Sciences, 121, Band 121)
  • paperback
  • 224 Seiten
  • Erschienen 1980
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Foundations of the Mathematical Theory of...
de Arantes e Oliveira, E.R.
5,79 € 57,23 €
Details
frontend/listing/product-box/box-product-slider.tpl
-56%
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
25,31 € 57,23 €
Details
frontend/listing/product-box/box-product-slider.tpl
-86%
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,28 € 44,95 €
Details
frontend/listing/product-box/box-product-slider.tpl
-88%
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,07 € 59,60 €
Details
frontend/listing/product-box/box-product-slider.tpl
-63%
Model Theory (Studies in Logic and Foundations of Mathematics Ser. : Vol 73)
  • paperback
  • 566 Seiten
  • Erschienen 1977
  • North-Holland
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Model Theory (Studies in Logic and Foundations...
Keisler, H. Jerome
14,21 € 38,79 €
Details
frontend/listing/product-box/box-product-slider.tpl
-90%
Isabelle/HOL: A Proof Assistant for Higher-Order Logic (Lecture Notes in Computer Science, Band 2283)
  • paperback
  • 240 Seiten
  • Erschienen 2002
  • Springer
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Isabelle/HOL: A Proof Assistant for...
Wenzel, Markus
6,49 € 62,96 €
Details
frontend/listing/product-box/box-product-slider.tpl
-81%
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
4,79 € 24,95 €
Details
frontend/listing/product-box/box-product-slider.tpl
-96%
Material-Integrated Intelligent Systems
  • Gebunden
  • 696 Seiten
  • Erschienen 2018
  • Wiley-VCH
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Material-Integrated Intelligent Systems
Bosse, Stefan und Lehmhus, ...
9,15 € 249,00 €
Details
frontend/listing/product-box/box-product-slider.tpl
-93%
Systems of Logic
  • Taschenbuch
  • 336 Seiten
  • Erschienen 2009
  • Cambridge University Press
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Systems of Logic
Martin, Norman M.
3,87 € 57,90 €
Details
frontend/listing/product-box/box-product-slider.tpl
-97%
Qualitative Spatial and Temporal Reasoning
  • Hardcover
  • 544 Seiten
  • Erschienen 2011
  • Wiley-ISTE
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Qualitative Spatial and Temporal Reasoning
Ligozat, Gérard
6,19 € 242,50 €
Details
frontend/listing/product-box/box-product-slider.tpl
-87%
Eingebettete Systeme: Entwurf, Modellierung und Synthese (De Gruyter Studium)
  • Kartoniert
  • 428 Seiten
  • Erschienen 2018
  • De Gruyter Oldenbourg
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Eingebettete Systeme: Entwurf, Modellierung und...
Bringmann, Oliver und Lange...
5,59 € 41,95 €
Details
frontend/listing/product-box/box-product-slider.tpl
-56%
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
25,31 € 57,23 €
Details
frontend/listing/product-box/box-product-slider.tpl
-82%
Set Theory and Model Theory: Proceedings. Ed by R.B. Jensen Proc of Informal Symp Held Bonn, June 1-3, 1979
  • paperback
    • -
  • Erschienen 1981
  • Springer Verlag
inkl. MwSt. versandkostenfrei Lieferzeit 1-3 Werktag(e)
Set Theory and Model Theory: Proceedings. Ed by...
Jensen
3,70 € 20,44 €
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,09 € 246,09 €
Details