Vos paramètres de confidentialité

En sélectionnant «Tout accepter», vous autorisez RakutenKobo et ses partenaires à utiliser des cookies, des technologies de suivi et des technologies similaires pour collecter vos données personnelles et les traiter aux fins suivantes: exploiter le site Web et les services Kobo et s'assurer qu'ils fonctionnent correctement, vous fournir du contenu personnalisé sur Kobo et des publicités pour Kobo sur d'autres plateformes, et mesurer les analyses et analyser comment notre site Web et nos services sont utilisés. Sinon, veuillez cliquer sur «Refuser» ci-dessous pour rejeter toutes les finalités non essentielles ou consulter les «Paramètres de confidentialité» pour gérer vos préférences pour chaque finalité. Pour plus d'informations, veuillez lire notre Politique de confidentialité.

Structured Object-Oriented Formal Language and Method

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

e-book,e-book,e-book,e-book

Zhenhua Duan,Shaoying Liu

Springer Nature Proceedings Computer Science

Acheter l'eBook

e-book,e-book,e-book,e-book

Économise 10 %Prix catalogue : 51,49 €.46,34 €

Vous êtes dans la boutique {{0}}

Pas en {{0}}? Choisissez la boutique de votre pays pour voir les livres disponibles à l'achat.

Choisir sa boutique

Acheter

Résumé

Catégories

À propos de ce livre

Langue :English
ISBN :9783319049151
Date de parution :18 nov. 2017
Éditeur :Springer International Publishing

Marque éditoriale :Springer
Format de fichier :EPUB2
Taille de fichier :4.01 MB
Options de téléchargement :EPUB2 (Adobe DRM)

Dans cette série

Structured Object-Oriented Formal Language and Method

Shaoying Liu,Zhenhua Duan

Structured Object-Oriented Formal Language and Method

Shaoying Liu,Zhenhua Duan

Software Fault Prevention, Verification, and Validation

Shaoying Liu

Structured Object-Oriented Formal Language and Method

Shaoying Liu,Zhenhua Duan,Cong Tian,Fumiko Nagoya

Structured Object-Oriented Formal Language and Method

Shaoying Liu,Zhenhua Duan,Ai Liu

Lectures semblables

Beginning Julia Programming

Sandeep Nagar

69,31 €

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

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

46,34 €

NASA Formal Methods

Sanjai Rayadurgam, Oksana Tkachuk

60,24 €

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

Tiziana Margaria, Bernhard Steffen

46,34 €

Formal Methods for Multicore Programming

Marco Bernardo, Einar Broch Johnsen

43,56 €

String Analysis for Software Verification and Security

Tevfik Bultan, Fang Yu, Muath Alkhalaf, Abdulbaki Aydin

60,24 €

Practical Aspects of Declarative Languages

Francesco Calimeri, Kevin Hamlen, Nicola Leone

37,07 €

Logic, Rewriting, and Concurrency

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

46,34 €

Programming Languages

Fernando Castor, Yu David Liu

46,34 €

Reliable Software Technologies – Ada-Europe 2016

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

46,34 €

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

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

46,34 €

Automated Technology for Verification and Analysis

Cyrille Artho, Axel Legay, Doron Peled

46,34 €

Hardware and Software: Verification and Testing

Nir Piterman

43,56 €

Formal Modeling and Analysis of Timed Systems

Alessandro Abate, Gilles Geeraerts

46,34 €

Mathematics of Program Construction

Ralf Hinze, Janis Voigtländer

46,34 €

Topics in Theoretical Computer Science

Mohammad Reza Mousavi, Jiří Sgall

46,34 €

Critical Systems: Formal Methods and Automated Verification

Laure Petrucci, Ana Cavalcanti, Cristina Seceleanu

46,34 €

Static Analysis

Xavier Rival

46,34 €

PRIMA 2017: Principles and Practice of Multi-Agent Systems

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

46,34 €

Unifying Theories of Programming

Jonathan P. Bowen, Huibiao Zhu

46,34 €

Static Analysis

Francesco Ranzato

46,34 €

Logic-Based Program Synthesis and Transformation

Manuel V Hermenegildo, Pedro Lopez-Garcia

46,34 €

ModelEd, TestEd, TrustEd

Arend Rensink, Joost-Pieter Katoen, Rom Langerak

46,34 €

Model Checking Software

Dragan Bošnački, Anton Wijs

46,34 €

Programming Languages and Systems

Atsushi Igarashi

46,34 €

Implementation and Application of Functional Languages

Ralf Hinze

41,70 €

Static Analysis

Sandrine Blazy, Thomas Jensen

46,34 €

Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems

Marco Bernardo, Rocco De Nicola, Jane Hillston

46,34 €

Semantics, Logics, and Calculi

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

46,34 €

Software Engineering and Formal Methods

Carlos Canal, Akram Idani

46,34 €

Fundamental Approaches to Software Engineering

Perdita Stevens, Andrzej Wąsowski

46,34 €

Verified Software: Theories, Tools and Experiments

Dimitra Giannakopoulou, Daniel Kroening

43,56 €

PRIMA 2016: Principles and Practice of Multi-Agent Systems

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

46,34 €

Grand Timely Topics in Software Engineering

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

46,34 €

Tools and Algorithms for the Construction and Analysis of Systems

Axel Legay, Tiziana Margaria

46,34 €

Rules and Reasoning

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

46,34 €

Introduction to Octave

Sandeep Nagar

49,43 €

Formal Aspects of Component Software

Christiano Braga, Peter Csaba Ölveczky

46,34 €

Automated Reasoning with Analytic Tableaux and Related Methods

Cláudia Nalon, Renate A. Schmidt

60,24 €

Tools and Algorithms for the Construction and Analysis of Systems

Marsha Chechik, Jean-François Raskin

46,34 €

Formal Methods: Foundations and Applications

Thierry Lecomte, Leila Ribeiro

46,34 €

A List of Successes That Can Change the World

Sam Lindley, Conor McBride, Phil Trinder, Don Sannella

46,34 €

Perspectives of System Informatics

Manuel Mazzara, Andrei Voronkov

46,34 €

Theoretical Aspects of Computing – ICTAC 2016

Augusto Sampaio, Farn Wang

46,34 €

Software Engineering and Formal Methods

Radu Calinescu, Bernhard Rumpe

46,34 €

Verification, Model Checking, and Abstract Interpretation

Barbara Jobstmann, K. Rustan M. Leino

46,34 €

Theoretical Aspects of Computing - ICTAC 2015

Martin Leucker, Camilo Rueda, Frank D. Valencia

46,34 €

Autres livres de l'auteur

Structured Object-Oriented Formal Language and Method - eBook par Zhenhua Duan, Shaoying Liu, Cong Tian, Fumiko Nagoya

Avez-vous aimé le livre ?

Soyez la première personne à noter ce livre et à laisser un avis !

Vos paramètres de confidentialité

Structured Object-Oriented Formal Language and Method

Résumé

À propos de ce livre

Détails du livre

Comment lire

Dans cette série

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

Lectures semblables

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

Autres livres de l'auteur

Structured Object-Oriented Formal Language and Method

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

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

Avez-vous aimé le livre ?

eBooks