Yazar

Tiziana Margaria

30 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 Third International Symposium Proceedings

Tiziana Margaria · Springer

Sayfa sayısı yok · 2008

Computer science

Tools and Algorithms for the Construction and Analysis of Systems

Axel Legay, Tiziana Margaria · Springer

522 sayfa · 2003

System design / Computer software, development

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

Semantic Web Services Challenge

Charles Petrie, Holger Lausen, Tiziana Margaria · Springer

300 sayfa · 2008

Electronic commerce / Multimedia systems / Information systems / Software engineering / Database management

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

CiltFormal Methods for Industrial Critical SystemsStefania Gnesi, Tiziana Margaria

Formal Methods for Industrial Critical Systems

Stefania Gnesi, Tiziana Margaria · IEEE Computer Society Press

292 sayfa · 2012

Kategori yok

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

CiltCorrect Hardware Design and Verification MethodsTiziana Margaria, Tom Melham

Correct Hardware Design and Verification Methods

Tiziana Margaria, Tom Melham · Springer London, Limited

Sayfa sayısı yok · 2003

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

CiltService-Oriented Computing - ICSOC 2008Athman Bouguettaya, Ingolf Krüger, Tiziana Margaria

Service-Oriented Computing - ICSOC 2008

Athman Bouguettaya, Ingolf Krüger, Tiziana Margaria · Springer London, Limited

Sayfa sayısı yok · 2008

Kategori yok