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

Software Engineering and Formal Methods

Software Engineering and Formal Methods

Sirjani, Marjan und Cimatti, Alessandro

inkl. MwSt. Versandinformationen

Artikel zZt. nicht lieferbar

Artikel zZt. nicht lieferbar

Kurzinformation

Sprache:

Englisch

ISBN:

3319661965

Verlag:

Seitenzahl:

432

Auflage:

-

Erschienen:

2017-08-15

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

Software Engineering and Formal Methods

15th International Conference, SEFM 2017, Trento, Italy, September 4-8, 2017, Proceedings

¿This book constitutes the refereed proceedings of the 15th International Conference on Software Engineering and Formal Methods, SEFM 2017, held in Trento, Italy, in September 2017. The 17 full papers and 6 short papers presented were carefully reviewed and selected from 102 submissions. The papers deal with a large range of topics in the following research areas: new frontiers in software architecture; software verification and testing; software development methods; application and technology transfer; security and safety; and design principles. von Sirjani, Marjan und Cimatti, Alessandro

Produktdetails

Einband:

Kartoniert

Seitenzahl:

432

Erschienen:

2017-08-15

Sprache:

Englisch

EAN:

9783319661964

ISBN:

3319661965

Verlag:

Gewicht:

651 g

Auflage:

-

Alle gebrauchten Bücher werden von uns handgeprüft.
So garantieren wir Dir zu jeder Zeit Premiumqualität.

Über den Autor

Sirjani, Marjan und Cimatti, Alessandro

Entdecke mehr vom Verlag

Neu

53,49 €

Entdecke mehr zum Thema

-98%

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

2,77 € 114,48 €

-87%

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.

7,37 € 57,23 €

-89%

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

6,43 € 57,23 €

-90%

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

5,89 € 57,23 €

-96%

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

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

18,03 €

-91%

Modellgetriebene Softwareentwicklung: Techniken, Engineering, Management

paperback
458 Seiten
Erschienen 2007
dpunkt

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

Modellgetriebene Softwareentwicklung:...

Helsen, Simon

4,65 € 49,00 €

-89%

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.

6,50 € 57,23 €

-33%

SYSMOD - The Systems Modeling Toolbox: Pragmatic MBSE with SysML

paperback
377 Seiten
Erschienen 2020
MBSE4U

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

SYSMOD - The Systems Modeling Toolbox:...

Weilkiens, Tim

24,95 € 37,45 €

Elements of software science (Operating and programming systems series)

paperback
-

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

Elements of software science (Operating and...

-

195,37 €

-79%

Projekt Engineering: Ingenieurmäßige Softwareentwicklung in Projektgruppen

Taschenbuch
328 Seiten
Erschienen 2020
Carl Hanser Verlag GmbH & C...

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

Projekt Engineering: Ingenieurmäßige...

Mayr, Herwig:

6,32 € 29,90 €

-93%

Grundkurs Software-Engineering mit UML: Der pragmatische Weg zu erfolgreichen Softwareprojekten

paperback
414 Seiten
Erschienen 2013
Springer Vieweg

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

Grundkurs Software-Engineering mit UML: Der...

Kleuker, Stephan

2,30 € 34,99 €

-95%

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

-

2,55 € 53,49 €

-75%

Requirements Engineering für die agile Softwareentwicklung: Methoden, Techniken und Strategien

Gebunden
363 Seiten
Erschienen 2018
dpunkt.verlag GmbH

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

Requirements Engineering für die agile...

Bergsmann, Johannes

9,07 € 36,90 €

-47%

Methoden zur Modellbildung und Simulation mechatronischer Systeme: Bondgraphen, objektorientierte Modellierungstechniken und numerische Integrationsverfahren

paperback
717 Seiten
Erschienen 2023
Springer Vieweg

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

Methoden zur Modellbildung und Simulation...

Andres, Markus

26,72 € 49,99 €

-82%

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

10,51 € 57,23 €

-90%

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

7,50 € 74,68 €

-28%

Automotive Software Engineering: Grundlagen, Prozesse, Methoden und Werkzeuge effizient einsetzen (ATZ/MTZ-Fachbuch)

hardcover
339 Seiten
Erschienen 2010
Vieweg+Teubner Verlag

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

Automotive Software Engineering: Grundlagen,...

Zurawka, Thomas

32,38 € 44,99 €

-81%

Requirements-Engineering und -Management: Professionelle, iterative Anforderungsanalyse für die Praxis

hardcover
569 Seiten
Erschienen 2009
Carl Hanser Verlag GmbH & C...

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

Requirements-Engineering und -Management:...

die SOPHISTen

9,30 € 49,90 €

-82%

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

10,51 € 57,23 €

-91%

Foundations of Empirical Software Engineering: The Legacy of Victor R. Basili

Gebunden
431 Seiten
Erschienen 2005
Springer

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

Foundations of Empirical Software Engineering:...

Boehm, Barry und Rombach, H...

15,96 € 181,89 €

Objektorientierte Softwareentwicklung: Analyse und Design: Mit der Unified Method Language

hardcover
258 Seiten
Erschienen 1996
Oldenbourg Wissenschaftsverlag

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

Objektorientierte Softwareentwicklung: Analyse...

Oestereich, Bernd

10,57 €

-95%

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

2,94 € 59,60 €

-96%

Objektorientierte Softwareentwicklung

hardcover
573 Seiten
Erschienen 1990
Hanser, Carl

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

Objektorientierte Softwareentwicklung

Meyer, Bertrand

1,58 € 39,88 €

-72%

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

13,77 € 49,90 €

-61%

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

66,50 € 169,00 €

-43%

Handbuch für Softwareentwickler: Das Standardwerk für professionelles Software Engineering

Gebunden
896 Seiten
Erschienen 2021
Rheinwerk Computing

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

Handbuch für Softwareentwickler: Das...

Krypczyk, Veikko und Bochko...

28,21 € 49,90 €

-67%

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.

63,03 € 189,00 €

-80%

Analyse und Design mit der UML 2.5: Objektorientierte Softwareentwicklung

hardcover
364 Seiten
Erschienen 2013
De Gruyter Oldenbourg

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

Analyse und Design mit der UML 2.5:...

Bremer, Stefan

17,95 € 89,95 €

-47%

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

33,71 € 64,19 €

-70%

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

21,07 € 69,54 €

-72%

Collaboration Engineering: IT-gestützte Zusammenarbeitsprozesse systematisch entwickeln und durchführen

Kartoniert
352 Seiten
Erschienen 2014
Springer Gabler

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

Collaboration Engineering: IT-gestützte...

Leimeister, Jan Marco

9,86 € 34,99 €

-34%

Systementwurf mechatronischer Systeme: Methoden – Modelle – Konzepte

Gebunden
844 Seiten
Erschienen 2010
Springer

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

Systementwurf mechatronischer Systeme: Methoden...

Janschek, Klaus

52,45 € 79,99 €

-88%

Softwareentwicklung eingebetteter Systeme: Grundlagen, Modellierung, Qualitätssicherung (Xpert.press)

Gebunden
248 Seiten
Erschienen 2005
Springer

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

Softwareentwicklung eingebetteter Systeme:...

Scholz, Peter

6,61 € 56,99 €

-88%

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

14,05 € 114,48 €

-82%

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

10,49 € 57,23 €

-80%

Entwicklungsumgebungen Mechatronik: Methoden und Werkzeuge zur Entwicklung mechatronischer Systeme

unknown_binding
Erschienen 2000
Universität Paderborn Heinz...

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

Entwicklungsumgebungen Mechatronik: Methoden...

Lückel, Joachim

9,94 € 50,00 €

-81%

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

10,81 € 57,23 €

-76%

Architecture-Centric Software Project Management: A Practical Guide (Sei Series in Software Engineering)

paperback
320 Seiten
Erschienen 2001
Addison Wesley

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

Architecture-Centric Software Project...

Paulish, Daniel J.

9,34 € 39,00 €

-93%

C A Software Engineering Approach: A Software Engineering Approach

paperback
528 Seiten
Erschienen 2013
Springer

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

C A Software Engineering Approach: A Software...

Darnell, Peter A.

4,28 € 57,23 €