Dina sekretessinställningar

Genom att välja ”Acceptera alla” tillåter du att Rakuten Kobo och deras partners använder cookies, spårning och liknande teknologier för att samla in dina personuppgifter och behandla dem för följande ändamål: att driva webbplatsen och Kobos tjänster och se till att de fungerar korrekt, för att leverera personligt anpassat innehåll på Kobo samt annonser för Kobo på andra plattformar, och för att mäta analysdata och analysera hur vår webbplats och våra tjänster används. I annat fall kan du klicka på ”Avvisa” nedan för att avvisa alla icke-nödvändiga ändamål eller gå till ”Integritetsinställningar” för att hantera dina inställningar för varje ändamål. Mer information finns i vår Integritetspolicy.

Structured Object-Oriented Formal Language and Method

Third International Workshop, SOFL+MSVL 2013, Queenstown, New Zealand, October 29, 2013, Revised Selected Papers

eBook,eBook,eBook,eBook

Zhenhua Duan,Shaoying Liu

Springer Nature Proceedings Computer Science

Buy the eBook

580,13 kr

Du är i butiken för Sverige

Inte i Sverige? Välj butiken för ditt land för att se vilka böcker som är tillgängliga att köpa.

Välj butik

Köp nu

Varför läsa med oss?

Kobo ger bokälskare chansen att läsa mer.

Förhöjd läsupplevelse med våra Kobo-läsplattor

Omfattande och relevant bokkatalog

Kostnadsfri Kobo-läsapp

Synopsis

Kategorier

Om den här boken

Språk:English
ISBN:9783319049151
Utgivningsdatum:20 feb. 2014
Utgivare:Springer International Publishing

Impressum:Springer
Filformat:EPUB2
Filstorlek:4.01 MB
Nedladdningsalternativ:EPUB2 (Adobe DRM)

I denna serie

Structured Object-Oriented Formal Language and Method

Shaoying Liu,Zhenhua Duan

Structured Object-Oriented Formal Language and Method

Shaoying Liu,Zhenhua Duan,Cong Tian,Fumiko Nagoya

Software Fault Prevention, Verification, and Validation

Shaoying Liu

Structured Object-Oriented Formal Language and Method

Shaoying Liu,Zhenhua Duan

Structured Object-Oriented Formal Language and Method

Shaoying Liu,Zhenhua Duan,Ai Liu

Relaterad läsning

Beginning Julia Programming

Sandeep Nagar

867,58 kr

Information and Communication Technologies in Education, Research, and Industrial Applications

Vitaliy Yakovyna, Heinrich C. Mayr, Mykola Nikitchenko, Grygoriy Zholtkevych, Aleksander Spivakovsky, Sotiris Batsakis

580,13 kr

NASA Formal Methods

Sanjai Rayadurgam, Oksana Tkachuk

754,20 kr

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

Tiziana Margaria, Bernhard Steffen

580,13 kr

Formal Methods for Multicore Programming

Marco Bernardo, Einar Broch Johnsen

545,31 kr

String Analysis for Software Verification and Security

Tevfik Bultan, Fang Yu, Muath Alkhalaf, Abdulbaki Aydin

754,20 kr

Practical Aspects of Declarative Languages

Francesco Calimeri, Kevin Hamlen, Nicola Leone

464,08 kr

Logic, Rewriting, and Concurrency

Narciso Martí-Oliet, Peter Csaba Ölveczky, Carolyn Talcott

580,13 kr

Programming Languages

Fernando Castor, Yu David Liu

580,13 kr

Reliable Software Technologies – Ada-Europe 2016

Eduardo Quiñones, Luís Miguel Pinho, Marko Bertogna

580,13 kr

Abstract State Machines, Alloy, B, TLA, VDM, and Z

Michael Butler, Miklos Biro, Klaus-Dieter Schewe, Atif Mashkoor

580,13 kr

Automated Technology for Verification and Analysis

Cyrille Artho, Axel Legay, Doron Peled

580,13 kr

Hardware and Software: Verification and Testing

Nir Piterman

545,31 kr

Formal Modeling and Analysis of Timed Systems

Alessandro Abate, Gilles Geeraerts

580,13 kr

Mathematics of Program Construction

Ralf Hinze, Janis Voigtländer

580,13 kr

Topics in Theoretical Computer Science

Mohammad Reza Mousavi, Jiří Sgall

580,13 kr

Critical Systems: Formal Methods and Automated Verification

Laure Petrucci, Ana Cavalcanti, Cristina Seceleanu

580,13 kr

Static Analysis

Xavier Rival

580,13 kr

PRIMA 2017: Principles and Practice of Multi-Agent Systems

Serena Villata, Ana Bazzan, João Leite, Leendert van der Torre, Bo An

580,13 kr

Unifying Theories of Programming

Jonathan P. Bowen, Huibiao Zhu

580,13 kr

Static Analysis

Francesco Ranzato

580,13 kr

Logic-Based Program Synthesis and Transformation

Manuel V Hermenegildo, Pedro Lopez-Garcia

580,13 kr

ModelEd, TestEd, TrustEd

Arend Rensink, Joost-Pieter Katoen, Rom Langerak

580,13 kr

Model Checking Software

Dragan Bošnački, Anton Wijs

580,13 kr

Programming Languages and Systems

Atsushi Igarashi

580,13 kr

Implementation and Application of Functional Languages

Ralf Hinze

522,10 kr

Static Analysis

Sandrine Blazy, Thomas Jensen

580,13 kr

Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems

Marco Bernardo, Rocco De Nicola, Jane Hillston

580,13 kr

Semantics, Logics, and Calculi

Christian W. Probst, Chris Hankin, René Rydhof Hansen

580,13 kr

Software Engineering and Formal Methods

Carlos Canal, Akram Idani

580,13 kr

Fundamental Approaches to Software Engineering

Perdita Stevens, Andrzej Wąsowski

580,13 kr

Verified Software: Theories, Tools and Experiments

Dimitra Giannakopoulou, Daniel Kroening

545,31 kr

PRIMA 2016: Principles and Practice of Multi-Agent Systems

Matteo Baldoni, Amit K. Chopra, Tran Cao Son, Katsutoshi Hirayama, Paolo Torroni

580,13 kr

Grand Timely Topics in Software Engineering

Ralf Lämmel, Jácome Cunha, João P. Fernandes, Vadim Zaytsev, João Saraiva

580,13 kr

Tools and Algorithms for the Construction and Analysis of Systems

Axel Legay, Tiziana Margaria

580,13 kr

Rules and Reasoning

Stefania Costantini, Enrico Franconi, William Van Woensel, Roman Kontchakov, Fariba Sadri, Dumitru Roman

580,13 kr

Introduction to Octave

Sandeep Nagar

618,07 kr

Formal Aspects of Component Software

Christiano Braga, Peter Csaba Ölveczky

580,13 kr

Automated Reasoning with Analytic Tableaux and Related Methods

Cláudia Nalon, Renate A. Schmidt

754,20 kr

Tools and Algorithms for the Construction and Analysis of Systems

Marsha Chechik, Jean-François Raskin

580,13 kr

Formal Methods: Foundations and Applications

Thierry Lecomte, Leila Ribeiro

580,13 kr

A List of Successes That Can Change the World

Sam Lindley, Conor McBride, Phil Trinder, Don Sannella

580,13 kr

Perspectives of System Informatics

Manuel Mazzara, Andrei Voronkov

580,13 kr

Theoretical Aspects of Computing – ICTAC 2016

Augusto Sampaio, Farn Wang

580,13 kr

Software Engineering and Formal Methods

Radu Calinescu, Bernhard Rumpe

580,13 kr

Verification, Model Checking, and Abstract Interpretation

Barbara Jobstmann, K. Rustan M. Leino

580,13 kr

Theoretical Aspects of Computing - ICTAC 2015

Martin Leucker, Camilo Rueda, Frank D. Valencia

580,13 kr

Mer av författaren

Tyckte du om boken?

Var den första att betygsätta och recensera den här boken!

Dina sekretessinställningar

Structured Object-Oriented Formal Language and Method

Varför läsa med oss?

Synopsis

Om den här boken

Detaljer om boken

Så här läser du

I denna serie

Structured Object-Oriented Formal Language and Method

Structured Object-Oriented Formal Language and Method

Software Fault Prevention, Verification, and Validation

Structured Object-Oriented Formal Language and Method

Structured Object-Oriented Formal Language and Method

Relaterad läsning

Beginning Julia Programming

Information and Communication Technologies in Education, Research, and Industrial Applications

NASA Formal Methods

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

Formal Methods for Multicore Programming

String Analysis for Software Verification and Security

Practical Aspects of Declarative Languages

Logic, Rewriting, and Concurrency

Programming Languages

Reliable Software Technologies – Ada-Europe 2016

Abstract State Machines, Alloy, B, TLA, VDM, and Z

Automated Technology for Verification and Analysis

Hardware and Software: Verification and Testing

Formal Modeling and Analysis of Timed Systems

Mathematics of Program Construction

Topics in Theoretical Computer Science

Critical Systems: Formal Methods and Automated Verification

Static Analysis

PRIMA 2017: Principles and Practice of Multi-Agent Systems

Unifying Theories of Programming

Static Analysis

Logic-Based Program Synthesis and Transformation

ModelEd, TestEd, TrustEd

Model Checking Software

Programming Languages and Systems

Implementation and Application of Functional Languages

Static Analysis

Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems

Semantics, Logics, and Calculi

Software Engineering and Formal Methods

Fundamental Approaches to Software Engineering

Verified Software: Theories, Tools and Experiments

PRIMA 2016: Principles and Practice of Multi-Agent Systems

Grand Timely Topics in Software Engineering

Tools and Algorithms for the Construction and Analysis of Systems

Rules and Reasoning

Introduction to Octave

Formal Aspects of Component Software

Automated Reasoning with Analytic Tableaux and Related Methods

Tools and Algorithms for the Construction and Analysis of Systems

Formal Methods: Foundations and Applications

A List of Successes That Can Change the World

Perspectives of System Informatics

Theoretical Aspects of Computing – ICTAC 2016

Software Engineering and Formal Methods

Verification, Model Checking, and Abstract Interpretation

Theoretical Aspects of Computing - ICTAC 2015

Mer av författaren

Structured Object-Oriented Formal Language and Method

Structured Object-Oriented Formal Language and Method

Civil Engineering and Energy-Environment Vol 1

Structured Object-Oriented Formal Language and Method

Structured Object-Oriented Formal Language and Method

Computing and Combinatorics

Structured Object-Oriented Formal Language and Method

Formal Methods and Software Engineering

Civil Engineering and Energy-Environment Vol 2

Structured Object-Oriented Formal Language and Method

Software Fault Prevention, Verification, and Validation

Structured Object-Oriented Formal Language and Method

Formal Methods and Software Engineering

Formal Methods and Software Engineering

Software Fault Prevention, Verification, and Validation

Structured Object-Oriented Formal Language and Method

Agile-SOFL

Tyckte du om boken?