Preisvergleich / Suche / Wohnen / Büro / Software Engineering and Formal Methods, Fachbücher von Mercedes G. Merayo, Mario Bravetti, Robert M. Hierons
Thumbnail - Software Engineering and Formal Methods, Fachbücher von Mercedes G. Merayo, Mario Bravetti, Robert M. Hierons
Software Engineering and Formal Methods, Fachbücher von Mercedes G. Merayo, Mario Bravetti, Robert M. Hierons

Software Engineering and Formal Methods, Fachbücher von Mercedes G. Merayo, Mario Bravetti, Robert M. Hierons

Das Buch "Software Engineering and Formal Methods" dokumentiert die refereed Proceedings der 11. Internationalen Konferenz fü... Mehr erfahren

Sammle bis zu 26 Punkte mit diesem Produkt

Finde die besten Angebote

Bester Preis26 Punkte
Logo - Galaxus

Galaxus

Versandkostenfrei

Lieferzeit: 2-4 Werktage

53,49 €

Versandkostenfrei | Lieferzeit: 2-4 Werktage
Icon Preiswecker.

Mit dem Preiswecker immer das beste Angebot

Beobachte Preise und erhalte E-Mails, wenn sich etwas ändert.

Ähnliche Produkte

Formal Methods and Software Engineering, Fachbücher von Shengchao Qin, Zongyan Qiu

Formal Methods and Software Engineering, Fachbücher von Shengchao Qin, Zongyan Qiu

1 Angebot

53,49 €

Fundamental Approaches to Software Engineering, Fachbücher von Dániel Varró, Vittorio Cortellessa

Fundamental Approaches to Software Engineering, Fachbücher von Dániel Varró, Vittorio Cortellessa

1 Angebot

53,49 €

Software Engineering and Formal Methods, Fachbücher von Bernhard Rumpe, Radu Calinescu, Domenico Bianculli

Software Engineering and Formal Methods, Fachbücher von Bernhard Rumpe, Radu Calinescu, Domenico Bianculli

1 Angebot

53,49 €

Software and Data Technologies, Fachbücher von José Cordeiro, Boris Shishkov, Maria José Escalona

Software and Data Technologies, Fachbücher von José Cordeiro, Boris Shishkov, Maria José Escalona

1 Angebot

53,49 €

Software Engineering for Resilient Systems, Fachbücher von Marco Vieira, István Majzik

Software Engineering for Resilient Systems, Fachbücher von Marco Vieira, István Majzik

1 Angebot

42,80 €

Tools and Algorithms for the Construction and Analysis of Systems, Fachbücher von Marsha Chechik, Jean-François Raskin

Tools and Algorithms for the Construction and Analysis of Systems, Fachbücher von Marsha Chechik, Jean-François Raskin

1 Angebot

53,49 €

Software Language Engineering, Fachbücher von Ralf Lämmel, Eric Van Wyk, Dragan Gasevic

Software Language Engineering, Fachbücher von Ralf Lämmel, Eric Van Wyk, Dragan Gasevic

1 Angebot

53,49 €

Engineering Secure Software and Systems, Fachbücher von Jan Jürjens, Riccardo Scandariato, Ben Livshits

Engineering Secure Software and Systems, Fachbücher von Jan Jürjens, Riccardo Scandariato, Ben Livshits

1 Angebot

49,22 €

Software Engineering and Formal Methods, Fachbücher von George Eleftherakis, Mike Hinchey, Mike Holcombe

Software Engineering and Formal Methods, Fachbücher von George Eleftherakis, Mike Hinchey, Mike Holcombe

1 Angebot

53,49 €

Reliable Software Technologies - Ada-Europe 2015, Fachbücher von Tullio Vardanega, Juan Antonio de la Puente

Reliable Software Technologies - Ada-Europe 2015, Fachbücher von Tullio Vardanega, Juan Antonio de la Puente

1 Angebot

51,36 €

Network and System Security, Fachbücher von Javier Lopez, Xinyi Huang, Ravi Sandhu

Network and System Security, Fachbücher von Javier Lopez, Xinyi Huang, Ravi Sandhu

1 Angebot

53,49 €

Computer Safety, Reliability, and Security, Fachbücher von Mark-Alexander Sujan, Michael Douglas Harrison

Computer Safety, Reliability, and Security, Fachbücher von Mark-Alexander Sujan, Michael Douglas Harrison

1 Angebot

53,49 €

Formal Modeling and Analysis of Timed Systems, Fachbücher von Martin Fränzle, Nicolas Markey

Formal Modeling and Analysis of Timed Systems, Fachbücher von Martin Fränzle, Nicolas Markey

1 Angebot

53,49 €

Multicore Software Engineering, Performance, and Tools, Fachbücher von Eitan Farchi, João M. Lourenço

Multicore Software Engineering, Performance, and Tools, Fachbücher von Eitan Farchi, João M. Lourenço

1 Angebot

49,22 €

Formal Methods for Industrial Critical Systems, Fachbücher von Pedro Merino, Stefan Leue

Formal Methods for Industrial Critical Systems, Fachbücher von Pedro Merino, Stefan Leue

1 Angebot

53,49 €

Produktdetails

Das Buch "Software Engineering and Formal Methods" dokumentiert die refereed Proceedings der 11. Internationalen Konferenz für Software Engineering und formale Methoden, die im September 2013 in Madrid, Spanien, stattfand. Es umfasst 21 vollständige Beiträge, die aus 58 eingereichten Arbeiten sorgfältig ausgewählt wurden. Die Beiträge sind in thematische Abschnitte unterteilt, die sich mit verschiedenen Aspekten der Softwaretechnik befassen, darunter Echtzeitsysteme, Verifikation, Typen und Inferenz, statische Analyse, Testen und Laufzeitverifikation sowie Synthese und Transformation. Diese Sammlung bietet wertvolle Einblicke in aktuelle Forschungsergebnisse und Entwicklungen im Bereich der Softwaretechnik und formalen Methoden.

Informationen

Lieferzeit:2-4 Werktage
Marke:Springer