Yazar

tiziana margaria steffen

27 cilt bulundu.

Cilt sonuçları

Leveraging Applications of Formal Methods, Verification and Validation

Tiziana Margaria, Bernhard Steffen · Springer International Publishing AG

633 sayfa · 2008

Computer software, verification / Computer software, validation / System design

Leveraging Applications of Formal Methods, Verification and Validation : Discussion, Dissemination, Applications

Tiziana Margaria, Bernhard Steffen · Springer

890 sayfa · 2016

Software engineering / Computer science

Leveraging Applications of Formal Methods, Verification and Validation : Foundational Techniques

Tiziana Margaria, Bernhard Steffen · Springer

997 sayfa · 2016

Robots, programming / Machine learning / Computer software, verification

Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies

Tiziana Margaria-Steffen · Springer Berlin Heidelberg

Sayfa sayısı yok · 2012

Software engineering / Artificial intelligence / Logic design / Logics and Meanings of Programs / Computation by Abstract Devices

Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change

Tiziana Margaria-Steffen · Springer Berlin Heidelberg

Sayfa sayısı yok · 2012

Software engineering / Artificial intelligence / Logic design / Logics and Meanings of Programs / Computation by Abstract Devices

Leveraging Applications of Formal Methods, Verification, and Validation

Tiziana Margaria-Steffen · Springer Berlin Heidelberg

Sayfa sayısı yok · 2010

Logic design / Information systems / Computer science / Software engineering / Data mining

Leveraging Applications of Formal Methods, Verification, and Validation

Tiziana Margaria-Steffen · Springer Berlin Heidelberg

Sayfa sayısı yok · 2010

Logic design / Information systems / Computer science / Software engineering / Data mining

Leveraging applications of formal methods

Tiziana Margaria-Steffen · Springer

197 sayfa · 2006

Formal methods (Computer science) / Congresses / Logic design / Computer science / Software engineering

Leveraging Applications of Formal Methods, Verification, and Validation

Tiziana Margaria, Bernhard Steffen · Springer

Sayfa sayısı yok · 2011

Kategori yok

Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems

Tiziana Margaria, Bernhard Steffen · Springer

536 sayfa · 2018

Software engineering

Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice

Tiziana Margaria, Bernhard Steffen · Springer

544 sayfa · 2018

Software engineering

Leveraging Applications of Formal Methods, Verification and Validation. Modeling

Tiziana Margaria, Bernhard Steffen · Springer

603 sayfa · 2018

Computer software, validation / Computer software, verification / Computer science

SOFSEM 2015

Giuseppe Italiano, Tiziana Margaria-Steffen, Jaroslav Pokorný, Jean-Jacques Quisquater, Roger Wattenhofer · Springer London, Limited

624 sayfa · 2015

Computer software / Computer science / Software engineering

SOFSEM 2017 : Theory and Practice of Computer Science

Bernhard Steffen, Christel Baier, Mark van den Brand, Johann Eder, Mike Hinchey, Tiziana Margaria · Springer

544 sayfa · 2017

Computer science

Computer scienceLeveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering ChangeTiziana Margaria, Bernhard Steffen

Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change

Tiziana Margaria, Bernhard Steffen · Springer Berlin / Heidelberg

547 sayfa · 2014

Machine learning / Robots, programming / Software engineering / Artificial Intelligence (incl. Robotics) / Computer science

Computer scienceLeveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and ApplicationsTiziana Margaria, Bernhard Steffen

Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications

Tiziana Margaria, Bernhard Steffen · Springer Berlin / Heidelberg

644 sayfa · 2014

Software engineering / Robots, programming / Machine learning / Artificial Intelligence (incl. Robotics) / Computer science

CiltLeveraging Applications of Formal Methods, Verification and Validation : Verification PrinciplesTiziana Margaria, Bernhard Steffen

Leveraging Applications of Formal Methods, Verification and Validation : Verification Principles

Tiziana Margaria, Bernhard Steffen · Springer International Publishing AG

Sayfa sayısı yok · 2020

Kategori yok

CiltLeveraging Applications of Formal Methods, Verification and Validation : Tools and TrendsTiziana Margaria, Bernhard Steffen

Leveraging Applications of Formal Methods, Verification and Validation : Tools and Trends

Tiziana Margaria, Bernhard Steffen · Springer International Publishing AG

260 sayfa · 2021

Kategori yok

CiltLeveraging Applications of Formal Methods, Verification and Validation : ApplicationsTiziana Margaria, Bernhard Steffen

Leveraging Applications of Formal Methods, Verification and Validation : Applications

Tiziana Margaria, Bernhard Steffen · Springer International Publishing AG

Sayfa sayısı yok · 2020

Kategori yok

CiltLeveraging Applications of Formal Methods, Verification and Validation : Engineering PrinciplesTiziana Margaria, Bernhard Steffen

Leveraging Applications of Formal Methods, Verification and Validation : Engineering Principles

Tiziana Margaria, Bernhard Steffen · Springer International Publishing AG

Sayfa sayısı yok · 2020

Kategori yok

Computer software, verificationLeveraging Applications of Formal Methods, Verification and Validation. VerificationTiziana Margaria, Bernhard Steffen

Leveraging Applications of Formal Methods, Verification and Validation. Verification

Tiziana Margaria, Bernhard Steffen · Springer International Publishing AG

Sayfa sayısı yok · 2018

Computer software, validation / Computer software, verification

CiltLeveraging Applications of Formal Methods, Verification and Validation. PracticeTiziana Margaria, Bernhard Steffen

Leveraging Applications of Formal Methods, Verification and Validation. Practice

Tiziana Margaria, Bernhard Steffen · Springer

Sayfa sayısı yok · 2022

Kategori yok

CiltLeveraging Applications of Formal Methods, Verification and Validation. Software EngineeringTiziana Margaria, Bernhard Steffen

Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering

Tiziana Margaria, Bernhard Steffen · Springer

Sayfa sayısı yok · 2022

Kategori yok

CiltLeveraging Applications of Formal Methods, Verification and Validation. Adaptation and LearningTiziana Margaria, Bernhard Steffen

Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning

Tiziana Margaria, Bernhard Steffen · Springer

Sayfa sayısı yok · 2022

Kategori yok

CiltLeveraging Applications of Formal Methods, Verification and Validation. Verification Principles. ReoCAS ColloquiumTiziana Margaria, Bernhard Steffen

Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles. ReoCAS Colloquium

Tiziana Margaria, Bernhard Steffen · Springer

420 sayfa · 2024

Kategori yok

Software engineeringFundamental Approaches to Software EngineeringMichel Wermelinger, Tiziana Margaria-Steffen

Fundamental Approaches to Software Engineering

Michel Wermelinger, Tiziana Margaria-Steffen · Springer London, Limited

Sayfa sayısı yok · 2004

Software engineering

Distributed processingTools and Algorithms for the Construction and Analysis of Systems: Second International Workshop, Tacas '96, Passau, Germany, March 1996 Germany) Tacas '9 1996 Passau, Tiziana Margaria, Bernhard Steffen

Tools and Algorithms for the Construction and Analysis of Systems: Second International Workshop, Tacas '96, Passau, Germany, March 1996

Germany) Tacas '9 1996 Passau, Tiziana Margaria, Bernhard Steffen · Springer-Verlag

Sayfa sayısı yok · 1996

Computer software / Congress / Congresses / Development / Distributed processing