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.

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

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

7,11 € 114,48 €

-80%

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

5,10 € 24,95 €

-54%

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.

26,43 € 57,23 €

-71%

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

16,48 € 57,23 €

Systems Engineering. Methodik und Praxis

hardcover
-

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

Systems Engineering. Methodik und Praxis

-

20,25 €

-74%

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

15,10 € 57,23 €

-93%

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

4,30 € 64,99 €

-43%

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

97,13 € 171,20 €

-89%

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

Software Engineering. Grundkurs für Praktiker

perfect
-

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

Software Engineering. Grundkurs für Praktiker

-

28,14 €

-97%

An Integrated Approach to Software Engineering

Gebunden
566 Seiten
Erschienen 2005
Springer

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

An Integrated Approach to Software Engineering

Jalote, Pankaj

2,67 € 100,50 €

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

46,24 €

Software - Engineering und ihre Qualitätssicherung

hardcover
-

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

Software - Engineering und ihre Qualitätssicherung

-

1,75 €

-76%

Modellgetriebene Softwareentwicklung: Techniken, Engineering, Management

paperback
458 Seiten
Erschienen 2007
dpunkt

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

Modellgetriebene Softwareentwicklung:...

Helsen, Simon

11,93 € 49,00 €

-61%

Software Engineering (Pearson Studium - IT)

Gebunden
896 Seiten
Erschienen 2018
Pearson Studium

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

Software Engineering (Pearson Studium - IT)

Sommerville, Ian

23,21 € 59,95 €

-71%

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.

16,68 € 57,23 €

-96%

Methoden und Architekturen der Softwaretechnik

hardcover
995 Seiten
Erschienen 2011
Vieweg+Teubner Verlag

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

Methoden und Architekturen der Softwaretechnik

Goll, Joachim

1,53 € 39,95 €

-44%

Conference on Software Engineering Education and Training

paperback
358 Seiten
Erschienen 2003
INST OF ELECTRICAL & ELECTRONI

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

Conference on Software Engineering Education...

Ieee

89,47 € 158,50 €

-52%

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

33,55 € 69,54 €

-57%

Requirements Engineering: Grundlagen, Prinzipien,Techniken

Hardcover
Erschienen 2008
dpunkt.verlag GmbH

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

Requirements Engineering: Grundlagen,...

Pohl, Klaus

21,24 € 49,00 €

-81%

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

40,88 € 217,50 €

-87%

Software Engineering: Eine Einführung für Informatiker und Ingenieure: Systeme, Erfahrungen, Methoden, Tools (German Edition), 4. Auflage

paperback
480 Seiten
Erschienen 2003
Vieweg+Teubner Verlag

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

Software Engineering: Eine Einführung für...

Dumke, Reiner

5,94 € 44,99 €

Elements of software science (Operating and programming systems series)

paperback
-

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

Elements of software science (Operating and...

-

500,94 €

-43%

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.

41,25 € 72,71 €

-85%

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,35 € 29,90 €

-83%

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

5,89 € 34,99 €

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

-

5,64 €

-79%

Engineering Design: A Systematic Approach

Gebunden
617 Seiten
Erschienen 2006
Springer

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

Engineering Design: A Systematic Approach

Pahl, Gerhard und Beitz, Wo...

20,20 € 96,29 €

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

-100%

Qualitätssicherung eingebetteter Software: Methoden und Best-Practices (Informationstechnik im Maschinenwesen)

perfect
182 Seiten
Erschienen 2001
Herbert Utz Verlag

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

Qualitätssicherung eingebetteter Software:...

Bender, Klaus

0,00 € 44,00 €

-53%

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

26,95 € 57,23 €

-97%

Prozess- und Technologiemanagement in der Softwareentwicklung

Gebunden
203 Seiten
Erschienen 2004
De Gruyter Oldenbourg

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

Prozess- und Technologiemanagement in der...

Rezagholi, Mohsen

3,04 € 109,95 €

-97%

Praxis der Software-Entwicklung: Methoden, Werkzeuge, Projektmanagement. Eine Bestandsaufnahme

paperback
212 Seiten
Erschienen 1995
Oldenbourg Wissenschaftsverlag

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

Praxis der Software-Entwicklung: Methoden,...

Schnath, Johannes

1,87 € 65,45 €

-70%

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

22,59 € 74,68 €

-92%

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

hardcover
334 Seiten
Erschienen 2003
Vieweg

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

Automotive Software Engineering: Grundlagen,...

Thomas Zurawka

4,06 € 49,95 €

-53%

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

26,95 € 57,23 €

-97%

Betriebliche Informationssysteme: Grundlagen und Werkzeuge der methodischen Softwareentwicklung

hardcover
396 Seiten
Erschienen 1997
Springer

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

Betriebliche Informationssysteme: Grundlagen...

Fähnrich, Klaus-Peter

3,74 € 109,99 €

-98%

Learning UML 2.0: A Pragmatic Introduction to UML

Kartoniert
286 Seiten
Erschienen 2006
O'Reilly and Associates

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

Learning UML 2.0: A Pragmatic Introduction to UML

Miles, Russ und Hamilton, K...

0,98 € 55,00 €

-67%

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

15,07 € 44,99 €

-16%

Modellbasierte Systementwicklung mit SysML: Extra: Mit kostenlosem E-Book

hardcover
216 Seiten
Erschienen 2012
Carl Hanser Verlag GmbH & C...

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

Modellbasierte Systementwicklung mit SysML:...

Alt, Oliver

29,35 € 34,90 €