- Retrait gratuit dans votre magasin Club
- 7.000.000 titres dans notre catalogue
- Payer en toute sécurité
- Toujours un magasin près de chez vous
- Retrait gratuit dans votre magasin Club
- 7.000.000 titres dans notre catalogue
- Payer en toute sécurité
- Toujours un magasin près de chez vous
Résultats pour "Programming and Software Engineering"
-
Formal Methods and Software Engineering
- Livre broché | Anglais | Lecture Notes in Computer Science | Programming and Software Engineering | n° 9407
- This book constitutes the refereed proceedings of the 17th International Conference on Formal Engineering Methods, ICFEM 2015, held in Paris, France, ... Savoir plus
52,95 €Livraison sous 1 à 4 semaines52,95 €Livraison sous 1 à 4 semaines -
Runtime Verification
- Livre broché | Anglais | Lecture Notes in Computer Science | Programming and Software Engineering | n° 10548
- This book constitutes the refereed proceedings of the 17th International Conference on Runtime Verification, RV 2017, held in Seattle, WA, USA, in Sep... Savoir plus
52,95 €Livraison sous 1 à 4 semaines52,95 €Livraison sous 1 à 4 semaines -
Reliable Software Technologies - Ada-Europe 2008
- Livre broché | Anglais | Lecture Notes in Computer Science | Programming and Software Engineering | n° 5026
- th The 13 edition of the International Conference on Reliable Software Technologies (Ada-Europe 2008) marked its arrival in Italy by selecting the spl... Savoir plus
52,95 €Livraison sous 1 à 4 semaines52,95 €Livraison sous 1 à 4 semaines -
Testing Software and Systems
- Livre broché | Anglais | Lecture Notes in Computer Science | Programming and Software Engineering | n° 9976
- This book constitutes the refereed proceedings of the 278th IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2016, held in ... Savoir plus
52,95 €Livraison sous 1 à 4 semaines52,95 €Livraison sous 1 à 4 semaines -
Formal Methods and Software Engineering
- Livre broché | Anglais | Lecture Notes in Computer Science | Programming and Software Engineering | n° 4260
- This book constitutes the refereed proceedings of the 8th International Conference on Formal Engineering Methods, ICFEM 2006, held in Macao, China, in... Savoir plus
105,45 €Livraison sous 1 à 4 semaines105,45 €Livraison sous 1 à 4 semaines -
Requirements Engineering: Foundation for Software Quality
- Livre broché | Anglais | Lecture Notes in Computer Science | Programming and Software Engineering | n° 4542
- This book constitutes the refereed proceedings of the 13th International Working Conference on Requirements Engineering: Foundation for Software Quali... Savoir plus
52,95 €Livraison sous 1 à 4 semaines52,95 €Livraison sous 1 à 4 semaines -
Software Language Engineering
- Livre broché | Anglais | Lecture Notes in Computer Science | Programming and Software Engineering | n° 5969
- We are pleased to present the proceedings of the Second International Conf- ence on Software LanguageEngineering (SLE 2009). The conference was held i... Savoir plus
52,95 €Livraison sous 1 à 4 semaines52,95 €Livraison sous 1 à 4 semaines -
Software Engineering and Middleware
- Livre broché | Anglais | Lecture Notes in Computer Science | Programming and Software Engineering | n° 3437
- Middleware provides an integration framework for multiple and potentially - verse computing platforms. It allows developers to engineer distributed ap... Savoir plus
52,95 €Livraison sous 1 à 4 semaines52,95 €Livraison sous 1 à 4 semaines -
Testing Software and Systems
- Livre broché | Anglais | Lecture Notes in Computer Science | Programming and Software Engineering | n° 11146
- This book constitutes the refereed proceedings of the 30 th IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2018, held in ... Savoir plus
52,95 €Livraison sous 1 à 4 semaines52,95 €Livraison sous 1 à 4 semaines -
Reliable Software Technology - Ada-Europe 2005
- Livre broché | Anglais | Lecture Notes in Computer Science | Programming and Software Engineering | n° 3555
- Started on the inspired initiative of Prof. Alfred Strohmeier back in 1996, and spawned from the annual Ada-Europe conference that had previously run ... Savoir plus
52,95 €Livraison sous 1 à 4 semaines52,95 €Livraison sous 1 à 4 semaines -
Model-Based Safety and Assessment
- Livre broché | Anglais | Lecture Notes in Computer Science | Programming and Software Engineering | n° 10437
- This book constitutes the proceedings of the 5th International Symposium on Model-Based Safety and Assessment, IMBSA 2017, held inTrento, Italy, in S... Savoir plus
52,95 €Livraison sous 1 à 4 semaines52,95 €Livraison sous 1 à 4 semaines -
Software Language Engineering
- Livre broché | Anglais | Lecture Notes in Computer Science | Programming and Software Engineering | n° 8225
- This book constitutes the refereed proceedings of the 6th International Conference on Software Language Engineering, SLE 2013, held in Indianapolis, I... Savoir plus
52,95 €Livraison sous 1 à 4 semaines52,95 €Livraison sous 1 à 4 semaines -
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
- Livre broché | Anglais | Lecture Notes in Computer Science | Programming and Software Engineering | n° 9707
- This book constitutes the refereed proceedings of the FirstInternational Conference on Reliability, Safety, and Security of RailwaySystems, RSSRail 20... Savoir plus
52,95 €Livraison sous 1 à 4 semaines52,95 €Livraison sous 1 à 4 semaines -
Hardware and Software: Verification and Testing
- Livre broché | Anglais | Lecture Notes in Computer Science | Programming and Software Engineering | n° 10028
- This book constitutes the refereed proceedings of the 12th International Haifa Verification Conference, HVC 2016, held in Haifa, Israel in November 20... Savoir plus
52,95 €Livraison sous 1 à 4 semaines52,95 €Livraison sous 1 à 4 semaines -
Component-Based Software Engineering
- Livre broché | Anglais | Lecture Notes in Computer Science | Programming and Software Engineering | n° 4608
- Providing all the latest on a topic of extreme commercial relevance, this book contains the refereed proceedings of the 10th International ACM SIGSOFT... Savoir plus
52,95 €Livraison sous 1 à 4 semaines52,95 €Livraison sous 1 à 4 semaines -
Runtime Verification
- Livre broché | Anglais | Lecture Notes in Computer Science | Programming and Software Engineering | n° 7687
- This book constitutes the thoroughly refereed post-conference proceedings of the Third International Conference on Runtime Verification, RV 2012, held... Savoir plus
52,95 €Livraison sous 1 à 4 semaines52,95 €Livraison sous 1 à 4 semaines -
Openshmem and Related Technologies. Experiences, Implementations, and Technologies
- Livre broché | Anglais | Lecture Notes in Computer Science | Programming and Software Engineering | n° 9397
- This book constitutes the proceedings of the Second OpenSHMEM Workshop, held in Annapolis, MD, USA, in August 2015. The 12 technical papers and one sh... Savoir plus
42,45 €Livraison sous 1 à 4 semaines42,45 €Livraison sous 1 à 4 semaines -
Formal Methods for Components and Objects
- Livre broché | Anglais | Lecture Notes in Computer Science | Programming and Software Engineering | n° 7542
- Formal methods have been applied successfully to the verification of medium-sized programs in protocol and hardware design for some time. However, the... Savoir plus
52,95 €Livraison sous 1 à 4 semaines52,95 €Livraison sous 1 à 4 semaines -
Computer Safety, Reliability, and Security
- Livre broché | Anglais | Lecture Notes in Computer Science | Programming and Software Engineering | n° 8153
- This book constitutes the refereed proceedings of the 32nd International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2013, held... Savoir plus
52,95 €Livraison sous 1 à 4 semaines52,95 €Livraison sous 1 à 4 semaines -
Formal Verification of Object-Oriented Software
- Livre broché | Anglais | Lecture Notes in Computer Science | Programming and Software Engineering | n° 7421
- This book presents the thoroughly refereed post-conference proceedings of the International Conference on Formal Verification of Object-Oriented Softw... Savoir plus
48,95 €Livraison sous 1 à 4 semaines48,95 €Livraison sous 1 à 4 semaines -
Analytical and Stochastic Modeling Techniques and Applications
- Livre broché | Anglais | Lecture Notes in Computer Science | Programming and Software Engineering | n° 6751
- This book constitutes the refereed proceedings of the 18th International Conference on Analytical and Stochastic Modeling Techniques and Applications,... Savoir plus
52,95 €Livraison sous 1 à 4 semaines52,95 €Livraison sous 1 à 4 semaines -
Automated Technology for Verification and Analysis
- Livre broché | Anglais | Lecture Notes in Computer Science | Programming and Software Engineering | n° 10482
- This book constitutes the refereed proceedings of the 15 th International Symposium on Automated Technology for Verification and Analysis, ATVA 2017, ... Savoir plus
52,95 €Livraison sous 1 à 4 semaines52,95 €Livraison sous 1 à 4 semaines -
Verified Software. Theories, Tools, and Experiments
- Livre broché | Anglais | Lecture Notes in Computer Science | Programming and Software Engineering | n° 10712
- This volume constitutes the thoroughly refereed post-conference proceedings of the 9th International Conference on Verified Software: Theories, Tools,... Savoir plus
52,95 €Livraison sous 1 à 4 semaines52,95 €Livraison sous 1 à 4 semaines -
Programming Languages and Systems
- Livre broché | Anglais | Lecture Notes in Computer Science | Programming and Software Engineering | n° 13008
- This book constitutes the proceedings of the 19th Asian Symposium on Programming Languages and Systems, APLAS 2021, held in Chicago, USA, in October 2... Savoir plus
79,45 €Livraison sous 1 à 4 semaines79,45 €Livraison sous 1 à 4 semaines