- 5 Résultats
prix le plus bas: € 52,99, prix le plus élevé: € 77,84, prix moyen: € 64,85
1
Fundamental Approaches to Software Engineering - Herausgegeben:Stevens, Perdita Wasowski, Andrzej
Commander
sur booklooker.de
€ 52,99
Envoi: € 0,001
CommanderLien sponsorisé
Herausgegeben:Stevens, Perdita Wasowski, Andrzej:

Fundamental Approaches to Software Engineering - Livres de poche

2016, ISBN: 9783662496640

[ED: Softcover], [PU: Springer / Springer Berlin Heidelberg / Springer, Berlin], This bookconstitutes the proceedings of the 19th International Conference on FundamentalApproaches to Soft… Plus…

Frais d'envoiVersandkostenfrei, Versand nach Deutschland. (EUR 0.00) buecher.de GmbH & Co. KG
2
Fundamental Approaches to Software Engineering 19th International Conference, FASE 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings - W¿sowski, Andrzej (Herausgeber); Stevens, Perdita (Herausgeber)
Commander
sur Achtung-Buecher.de
€ 55,60
Envoi: € 0,001
CommanderLien sponsorisé

W¿sowski, Andrzej (Herausgeber); Stevens, Perdita (Herausgeber):

Fundamental Approaches to Software Engineering 19th International Conference, FASE 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings - nouveau livre

2016, ISBN: 366249664X

1st ed. 2016 Kartoniert / Broschiert EDV / Theorie / Software-Entw. / Software Engineering, Software Engineering, Theoretische Informatik, ComplexNetworks; modelchecking; Semantics; sof… Plus…

Frais d'envoiVersandkostenfrei innerhalb der BRD. (EUR 0.00) MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien
3
Fundamental Approaches to Software Engineering 19th International Conference, FASE 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings - Wasowski, Andrzej (Herausgeber); Stevens, Perdita (Herausgeber)
Commander
sur Achtung-Buecher.de
€ 77,84
Envoi: € 0,001
CommanderLien sponsorisé
Wasowski, Andrzej (Herausgeber); Stevens, Perdita (Herausgeber):
Fundamental Approaches to Software Engineering 19th International Conference, FASE 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings - nouveau livre

2016

ISBN: 366249664X

1st ed. 2016 Kartoniert / Broschiert EDV / Theorie / Software-Entw. / Software Engineering, Software Engineering, Theoretische Informatik, ComplexNetworks; modelchecking; Semantics; sof… Plus…

Frais d'envoiVersandkostenfrei innerhalb der BRD. (EUR 0.00) MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien
4
Fundamental Approaches to Software Engineering - Stevens, Perdita Wasowski, Andrzej
Commander
sur booklooker.de
€ 62,95
Envoi: € 0,001
CommanderLien sponsorisé
Stevens, Perdita Wasowski, Andrzej:
Fundamental Approaches to Software Engineering - Première édition

2016, ISBN: 9783662496640

Livres de poche

[ED: Kartoniert / Broschiert], [PU: Springer Berlin Heidelberg], Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This bookconstitutes the … Plus…

Frais d'envoiVersandkostenfrei, Versand nach Deutschland. (EUR 0.00) Moluna GmbH
5
Fundamental Approaches to Software Engineering - Perdita Stevens; Andrzej W?sowski
Commander
sur lehmanns.de
€ 74,89
Envoi: € 0,001
CommanderLien sponsorisé
Perdita Stevens; Andrzej W?sowski:
Fundamental Approaches to Software Engineering - Livres de poche

2016, ISBN: 9783662496640

19th International Conference, FASE 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proce… Plus…

Frais d'envoiVersand in 10-14 Tagen. (EUR 0.00)

1Comme certaines plateformes ne transmettent pas les conditions d'expédition et que celles-ci peuvent dépendre du pays de livraison, du prix d'achat, du poids et de la taille de l'article, d'une éventuelle adhésion de la plateforme, d'une livraison directe par la plateforme ou via un prestataire tiers (Marketplace), etc. il est possible que les frais de livraison indiqués par eurolivre ne correspondent pas à ceux de la plateforme qui propose l'article.

Données bibliographiques du meilleur livre correspondant

Détails sur le livre

Informations détaillées sur le livre - Fundamental Approaches to Software Engineering


EAN (ISBN-13): 9783662496640
ISBN (ISBN-10): 366249664X
Version reliée
Livre de poche
Date de parution: 2016
Editeur: Springer Berlin

Livre dans la base de données depuis 2016-04-23T03:59:42+02:00 (Zurich)
Page de détail modifiée en dernier sur 2023-08-07T17:02:14+02:00 (Zurich)
ISBN/EAN: 9783662496640

ISBN - Autres types d'écriture:
3-662-49664-X, 978-3-662-49664-0
Autres types d'écriture et termes associés:
Auteur du livre: stevens, perdita
Titre du livre: software, eindhoven, perdita, european, fundamental, proceedings the international


Données de l'éditeur

Auteur: Perdita Stevens; Andrzej Wąsowski
Titre: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues; Fundamental Approaches to Software Engineering - 19th International Conference, FASE 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings
Editeur: Springer; Springer Berlin
436 Pages
Date de parution: 2016-03-22
Berlin; Heidelberg; DE
Imprimé / Fabriqué en
Langue: Anglais
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
POD
XIII, 436 p. 127 illus.

BC; Hardcover, Softcover / Informatik, EDV/Informatik; Software Engineering; Verstehen; Informatik; Complex networks; Model checking; Semantics; Software evolution; Software verification; Automated static analysis; Cloud-based systems; Debugging; Domain-specific languages; Formal language definitions; Formal software verification; Logic solvers; Model driven development; Model generation; Modeling; Modularity; Run-time errors; Software product lines; Software testing; Theorem proving; Software Engineering; Compilers and Interpreters; Computer Science Logic and Foundations of Programming; Formal Languages and Automata Theory; Compiler und Übersetzer; Theoretische Informatik; EA

The 23 full papers presented in this volume were carefully reviewed and selected from 90 submissions. They were organized in topical sections named: concurrent and distributed systems; model-driven development; analysis and bug triaging; probabilistic and stochastic systems; proof and theorem proving; and verification. 

The Death of Object-Oriented Programming.- Concurrent and Distributed Systems Automated Choreography Repair.- A Graph-Based Semantics Workbench for Concurrent Asynchronous Programs.- ABS-YARN: A Formal Framework for Modeling Hadoop YARN Clusters.- Integrated environment for verifying and running distributed components.- Model-Driven Development.- Iterative and incremental model generation by logic solvers.- Automated Model Merge by Design Space Exploration.- RuleMerger: Automatic Construction of Variability-Based Model Transformation Rules.- Two-Step Transformation of Model Traversal EOL Queries for Large CDO Repositories.- Mind the Gap! Automated Anomaly Detection for Potentially Unbounded Cardinality-based Feature Models.- Analysis and Bug Triaging.- Cut Branches Before Looking for Bugs: Sound Verification on Relaxed Slices.- The Influences of Edge Instability on Change Propagation and Connectivity in Call Graphs.- Modeling and Abstraction of Memory Management in a Hypervisor.- Crowdsourced Bug Triaging: Leveraging Q&A resources for Bug Assignment.- Probabilistic and Stochastic Systems Model-Based Testing of Probabilistic Systems.- An Iterative Decision-Making Scheme for Markov Decision Processes and Its Application to Self-Adaptive Systems.- Family-Based Modeling and Analysis for Probabilistic Systems – Featuring ProFeat.- Statistical model checking of e-Motions domain-specific modeling languages.- Proof and Theorem Proving.- Towards Formal Proof Metrics.- Reduction Rules for Colored Workflow Nets.- Many-valued Institutions for Constraint Specification.- CafeInMaude: a CafeOBJ interpreter in Maude.- Verification.- Verifying a Verifier: On the Formal Correctness of an LTS Transformation Verification Technique.- Hybrid Session Verification through Endpoint API Generation.- PVAIR: Partial Variable Assignment InterpolatoR.

 


Includes supplementary material: sn.pub/extras

< pour archiver...