Développement de logiciels eBooks

Architekturen Verteilter Softwaresysteme

SOA & Microservices - Mehrschichtenarchitekturen - Anwendungsintegration

par Hansruedi Tremp ...

Collections series Computer Science and Engineering (German Language)
Das Lehrbuch führt schrittweise in die faszinierende Welt der modernen verteilten Softwaresysteme ein.Dabei beginnt die Reise mit Überlegungen zu den Tätigkeiten des Softwarearchitekten. Weiter geht es zur Modellierung von serviceorientierten Mehrschichtenarchitekturen sowie deren technischer Umsetzung in den einzelnen Schichten. Dabei beschäftigt sich das Buch mit aktuellen Technologien wie z. B. ... En savoir plus

$47.89 CAD

Das Lehrbuch führt schrittweise in die faszinierende Welt der modernen verteilten Softwaresysteme ein.Dabei beginnt die Reise mit Überlegungen zu den Tätigkeiten des Softwarearchitekten. Weiter geht es zur Modellierung von serviceorientierten Mehrschichtenarchitekturen sowie deren technischer Umsetzung in den einzelnen Schichten. Dabei beschäftigt sich das Buch mit aktuellen Technologien wie z. B.
... En savoir plus
Agile objektorientierte Software-Entwicklung

Schritt für Schritt vom Geschäftsprozess zum Java-Programm

par Karl-Heinz Rau, Thomas Schuster ...

Collections series Computer Science and Engineering (German Language)
Dieses Lehrbuch zeigt anhand eines durchgängigen Fallbeispiels wie Anwendungssoftware zur Optimierung von Geschäftsprozessen agil entwickelt werden kann. Auf der Basis eines agilen Vorgehensmodells werden Geschäftsprozesse modelliert, Anwendungsfälle und User Stories abgeleitet sowie in iterativer Weise die Softwarelösung methodisch entworfen und auf der Jakarta EE Plattform beispielhaft ... En savoir plus

$35.99 CAD

Dieses Lehrbuch zeigt anhand eines durchgängigen Fallbeispiels wie Anwendungssoftware zur Optimierung von Geschäftsprozessen agil entwickelt werden kann. Auf der Basis eines agilen Vorgehensmodells werden Geschäftsprozesse modelliert, Anwendungsfälle und User Stories abgeleitet sowie in iterativer Weise die Softwarelösung methodisch entworfen und auf der Jakarta EE Plattform beispielhaft
... En savoir plus
Een uitdagend project

Projectmanagement eenvoudig en leuk

par Darija Ivandić Vidović, Joanna Rzempala, Jorunn Wolstad, Miguel Carvalho e Melo, Sanja Međedović ...

#html-body [data-pb-style=KCDF4GA]{justify-content:flex-start;display:flex;flex-direction:column;background-position:left top;background-size:cover;background-repeat:no-repeat;background-attachment:scroll}“Projectmanagement is moeilijk uit te leggen.” Maar met hulp van Een Uitdagend Project lukt het makkelijk! Dit is een boek dat jongeren en hun docenten op een toegankelijke en boeiende manier ... En savoir plus

$64.99 CAD ou Gratuit avec Kobo Plus

#html-body [data-pb-style=KCDF4GA]{justify-content:flex-start;display:flex;flex-direction:column;background-position:left top;background-size:cover;background-repeat:no-repeat;background-attachment:scroll}“Projectmanagement is moeilijk uit te leggen.” Maar met hulp van Een Uitdagend Project lukt het makkelijk! Dit is een boek dat jongeren en hun docenten op een toegankelijke en boeiende manier
... En savoir plus
Rules and Reasoning

4th International Joint Conference, RuleML+RR 2020, Oslo, Norway, June 29 – July 1, 2020, Proceedings

Modifié par Víctor Gutiérrez-Basulto, Tomáš Kliegr, Ahmet Soylu, Martin Giese, Dumitru Roman ...

Collections series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the International Joint Conference on Rules and Reasoning, RuleML+RR 2020, held in Oslo, Norway, during June-July 2020*. This is the 4th conference of a new series, joining the efforts of two existing conference series, namely “RuleML” (International Web Rule Symposium) and “RR” (Web Reasoning and Rule Systems).The 7 full research papers presented together ... En savoir plus

$64.09 CAD

This book constitutes the proceedings of the International Joint Conference on Rules and Reasoning, RuleML+RR 2020, held in Oslo, Norway, during June-July 2020*. This is the 4th conference of a new series, joining the efforts of two existing conference series, namely “RuleML” (International Web Rule Symposium) and “RR” (Web Reasoning and Rule Systems).The 7 full research papers presented together
... En savoir plus
Search-Based Software Engineering

13th International Symposium, SSBSE 2021, Bari, Italy, October 11–12, 2021, Proceedings

Modifié par Una-May O'Reilly, Xavier Devroey ...

Collections series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 13th International Symposium on Search-Based Software Engineering, SSBSE 2021, which was held in Bari, Italy, during October 11-12, 2021.The 9 full and 2 short papers included in this volume were carefully reviewed and selected from 19 submissions. The papers deal with novel ideas and applications of search-based software engineering, focusing on ... En savoir plus

$70.49 CAD

This book constitutes the proceedings of the 13th International Symposium on Search-Based Software Engineering, SSBSE 2021, which was held in Bari, Italy, during October 11-12, 2021.The 9 full and 2 short papers included in this volume were carefully reviewed and selected from 19 submissions. The papers deal with novel ideas and applications of search-based software engineering, focusing on
... En savoir plus
Functional and Logic Programming

15th International Symposium, FLOPS 2020, Akita, Japan, September 14–16, 2020, Proceedings

Modifié par Keisuke Nakano, Konstantinos Sagonas ...

Collections series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 15th International Symposium on Functional and Logic Programming, FLOPS 2020, held in Akita, Japan*, in September 2020.The 12 papers presented in this volume were carefully reviewed and selected from 25 submissions. They cover all aspects of the design, semantics, theory, applications, implementations, and teaching of declarative programming focusing on ... En savoir plus

$64.09 CAD

This book constitutes the proceedings of the 15th International Symposium on Functional and Logic Programming, FLOPS 2020, held in Akita, Japan*, in September 2020.The 12 papers presented in this volume were carefully reviewed and selected from 25 submissions. They cover all aspects of the design, semantics, theory, applications, implementations, and teaching of declarative programming focusing on
... En savoir plus
Algorithms and Architectures for Parallel Processing

15th International Conference, ICA3PP 2015, Zhangjiajie, China, November 18-20, 2015, Proceedings, Part II

Modifié par Kenli Li, Albert Zomaya, Guojun Wang, Gregorio Martinez ...

Collections Livre 2 - Springer Nature Proceedings Computer Science
This four volume set LNCS 9528, 9529, 9530 and 9531 constitutes the refereed proceedings of the 15th International Conference on Algorithms and Architectures for Parallel Processing, ICA3PP 2015, held in Zhangjiajie, China, in November 2015.The 219 revised full papers presented together with 77 workshop papers in these four volumes were carefully reviewed and selected from 807 submissions (602 ... En savoir plus

$64.09 CAD

This four volume set LNCS 9528, 9529, 9530 and 9531 constitutes the refereed proceedings of the 15th International Conference on Algorithms and Architectures for Parallel Processing, ICA3PP 2015, held in Zhangjiajie, China, in November 2015.The 219 revised full papers presented together with 77 workshop papers in these four volumes were carefully reviewed and selected from 807 submissions (602
... En savoir plus
Computer Security – ESORICS 2020

25th European Symposium on Research in Computer Security, ESORICS 2020, Guildford, UK, September 14–18, 2020, Proceedings, Part II

Modifié par Liqun Chen, Ninghui Li, Kaitai Liang, Steve Schneider ...

Collections Livre 2 - Springer Nature Proceedings Computer Science
The two volume set, LNCS 12308 + 12309, constitutes the proceedings of the 25th European Symposium on Research in Computer Security, ESORICS 2020, which was held in September 2020. The conference was planned to take place in Guildford, UK. Due to the COVID-19 pandemic, the conference changed to an online format.The total of 72 full papers included in these proceedings was carefully reviewed and ... En savoir plus

$64.09 CAD

The two volume set, LNCS 12308 + 12309, constitutes the proceedings of the 25th European Symposium on Research in Computer Security, ESORICS 2020, which was held in September 2020. The conference was planned to take place in Guildford, UK. Due to the COVID-19 pandemic, the conference changed to an online format.The total of 72 full papers included in these proceedings was carefully reviewed and
... En savoir plus
Learn to Program with Assembly

Foundational Learning for New Programmers

par Jonathan Bartlett ...

Collections series Professional and Applied Computing (R0)
Many programmers have limited effectiveness because they don't have a deep understanding of how their computer actually works under the hood. In Learn to Program with Assembly, you will learn to program in assembly language - the language of the computer itself.Assembly language is often thought of as a difficult and arcane subject. However, author Jonathan Bartlett presents the material in a way ... En savoir plus

$75.49 CAD

Many programmers have limited effectiveness because they don't have a deep understanding of how their computer actually works under the hood. In Learn to Program with Assembly, you will learn to program in assembly language - the language of the computer itself.Assembly language is often thought of as a difficult and arcane subject. However, author Jonathan Bartlett presents the material in a way
... En savoir plus
Model-Driven Organizational and Business Agility

Third International Workshop, MOBA 2023, Zaragoza, Spain, June 12–13, 2023, Revised Selected Papers

Modifié par Eduard Babkin, Joseph Barjis, Pavel Malyzhenkov, Vojtěch Merunka, Martin Molhanec ...

Collections series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the Third International Workshop on Model-Driven Organizational and Business Agility, MOBA 2023, which took place in Zaragoza, Spain, in June 2023.MOBA was launched with the purpose of fetching scientific rigor into the agile practice within an entire enterprise, especially focusing on the role of models and modeling.The 9 papers presented in this volume ... En savoir plus

$70.49 CAD

This book constitutes the proceedings of the Third International Workshop on Model-Driven Organizational and Business Agility, MOBA 2023, which took place in Zaragoza, Spain, in June 2023.MOBA was launched with the purpose of fetching scientific rigor into the agile practice within an entire enterprise, especially focusing on the role of models and modeling.The 9 papers presented in this volume
... En savoir plus
SAP S/4HANA Financial Accounting Configuration

Learn Configuration and Development on an S/4 System

par Andrew Okungbowa ...

Collections series Professional and Applied Computing (R0)
Upgrade your knowledge to learn S/4HANA, the latest version of the SAP ERP system, with its built-in intelligent technologies, including AI, machine learning, and advanced analytics.Since the first edition of this book published as SAP ERP Financial and Controlling: Configuration and Use Management, the perspective has changed significantly as S/4HANA now comes with new features, such as FIORI ... En savoir plus

$75.49 CAD

Upgrade your knowledge to learn S/4HANA, the latest version of the SAP ERP system, with its built-in intelligent technologies, including AI, machine learning, and advanced analytics.Since the first edition of this book published as SAP ERP Financial and Controlling: Configuration and Use Management, the perspective has changed significantly as S/4HANA now comes with new features, such as FIORI
... En savoir plus
Requirements Engineering for Digital Health

Modifié par Samuel A. Fricker, Anastasius Gavras, Christoph Thümmler ...

Collections series Engineering (R0)
Healthcare and well-being have captured the attention of established software companies, start-ups, and investors. Software is starting to play a central role for addressing the problems of the aging society and the escalating cost of healthcare services. Enablers of such digital health are a growing number of sensors for sensing the human body and communication infrastructure for remote meetings, ... En savoir plus

$115.29 CAD

Healthcare and well-being have captured the attention of established software companies, start-ups, and investors. Software is starting to play a central role for addressing the problems of the aging society and the escalating cost of healthcare services. Enablers of such digital health are a growing number of sensors for sensing the human body and communication infrastructure for remote meetings,
... En savoir plus
架构解密：从分布式到微服务（第2版）

par 吴治辉 ...

微服务、云原生、Kubernetes、Service Mesh是分布式领域的热点技术，它们并不是凭空出现的，一定继承了某些“前辈”的优点。我们不仅要了解这些技术，还要深入理解其发展脉络、原理等，才能游刃有余地将其用于现有的项目开发或老系统改造中。本书总计9章。第1章讲解分布式的基础——网络，对国际互联网、NIO、AIO、网络传输中的对象序列化问题、HTTP的前世今生、TCP/IP、从CDN到SD-WAN等知识进行深入讲解。第2章讲解分布式系统的经典理论，涉及分布式系统的设计理念、一致性原理；ZooKeeper的使用场景；CAP理论的前世今生；BASE准则；分布式事务的原理。第3章从RPC开始，讲解分布式服务治理框架的起源与原理，并讲解ZeroC Ice的原理和微服务架构实战。第4～6章以专题形式讲解内存、分布式文件存储和分布式计算，对每个专题都讲解相关的重要理论、产品、开源项目及经验等 ... En savoir plus

$12.99 CAD ou Gratuit avec Kobo Plus

微服务、云原生、Kubernetes、Service Mesh是分布式领域的热点技术，它们并不是凭空出现的，一定继承了某些“前辈”的优点。我们不仅要了解这些技术，还要深入理解其发展脉络、原理等，才能游刃有余地将其用于现有的项目开发或老系统改造中。本书总计9章。第1章讲解分布式的基础——网络，对国际互联网、NIO、AIO、网络传输中的对象序列化问题、HTTP的前世今生、TCP/IP、从CDN到SD-WAN等知识进行深入讲解。第2章讲解分布式系统的经典理论，涉及分布式系统的设计理念、一致性原理；ZooKeeper的使用场景；CAP理论的前世今生；BASE准则；分布式事务的原理。第3章从RPC开始，讲解分布式服务治理框架的起源与原理，并讲解ZeroC Ice的原理和微服务架构实战。第4～6章以专题形式讲解内存、分布式文件存储和分布式计算，对每个专题都讲解相关的重要理论、产品、开源项目及经验等
... En savoir plus
Computer Security – ESORICS 2020

25th European Symposium on Research in Computer Security, ESORICS 2020, Guildford, UK, September 14–18, 2020, Proceedings, Part I

Modifié par Liqun Chen, Ninghui Li, Kaitai Liang, Steve Schneider ...

Collections Livre 1 - Springer Nature Proceedings Computer Science
The two volume set, LNCS 12308 + 12309, constitutes the proceedings of the 25th European Symposium on Research in Computer Security, ESORICS 2020, which was held in September 2020. The conference was planned to take place in Guildford, UK. Due to the COVID-19 pandemic, the conference changed to an online format.The total of 72 full papers included in these proceedings was carefully reviewed and ... En savoir plus

$64.09 CAD

The two volume set, LNCS 12308 + 12309, constitutes the proceedings of the 25th European Symposium on Research in Computer Security, ESORICS 2020, which was held in September 2020. The conference was planned to take place in Guildford, UK. Due to the COVID-19 pandemic, the conference changed to an online format.The total of 72 full papers included in these proceedings was carefully reviewed and
... En savoir plus
Enterprise Information Systems

23rd International Conference, ICEIS 2021, Virtual Event, April 26–28, 2021, Revised Selected Papers

Modifié par Joaquim Filipe, Michał Śmiałek, Alexander Brodsky, Slimane Hammoudi ...

Collections series Springer Nature Proceedings Computer Science
This book contains extended, revised and selected papers from the 23rd International Conference on Enterprise Information Systems, ICEIS 2021, held online during April 2021.The 26 papers presented in this volume were carefully reviewed and selected for inclusion from a total of 241 submissions. They are grouped in sections on databases and information systems integration, artificial intelligence ... En savoir plus

$102.49 CAD

This book contains extended, revised and selected papers from the 23rd International Conference on Enterprise Information Systems, ICEIS 2021, held online during April 2021.The 26 papers presented in this volume were carefully reviewed and selected for inclusion from a total of 241 submissions. They are grouped in sections on databases and information systems integration, artificial intelligence
... En savoir plus
Model-Driven Development of Akoma Ntoso Application Profiles

A Conceptual Framework for Model-Based Generation of XML Subschemas

par Amelie Flatt, Arne Langner, Olof Leps ...

Collections series Computer Science (R0)
This book presents a model-driven approach for creating a national application profile of the international legislative document standard Akoma Ntoso (AKN). AKN is an XML-based document standard that serves as the basis for modern machine-readable and fully digital legislative and judicial processes.The described model-driven development approach ensures consistent and error-proof application of ... En savoir plus

$57.69 CAD

This book presents a model-driven approach for creating a national application profile of the international legislative document standard Akoma Ntoso (AKN). AKN is an XML-based document standard that serves as the basis for modern machine-readable and fully digital legislative and judicial processes.The described model-driven development approach ensures consistent and error-proof application of
... En savoir plus
Enterprise Architecture Function

A Pattern Language for Planning, Design and Execution

par Ingo Arnold ...

Collections series Computer Science (R0)
This book provides a method to plan, develop, validate, or evolve the design of an enterprise architecture function so that it fully meets the organization’s needs. The reader will benefit from this book in two ways. First, it provides a structured overview and orientation to the subject of architecture from an architecture function perspective. Second, it guides through the process of planning, ... En savoir plus

$115.29 CAD

This book provides a method to plan, develop, validate, or evolve the design of an enterprise architecture function so that it fully meets the organization’s needs. The reader will benefit from this book in two ways. First, it provides a structured overview and orientation to the subject of architecture from an architecture function perspective. Second, it guides through the process of planning,
... En savoir plus
Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles

9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part I

Modifié par Tiziana Margaria, Bernhard Steffen ...

Collections Livre 1 - Springer Nature Proceedings Computer Science
The three-volume set LNCS 12476 - 12478 constitutes the refereed proceedings of the 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, which was planned to take place during October 20–30, 2020, on Rhodes, Greece. The event itself was postponed to 2021 due to the COVID-19 pandemic.The papers presented were carefully reviewed and selected for inclusion in the ... En savoir plus

$108.89 CAD

The three-volume set LNCS 12476 - 12478 constitutes the refereed proceedings of the 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, which was planned to take place during October 20–30, 2020, on Rhodes, Greece. The event itself was postponed to 2021 due to the COVID-19 pandemic.The papers presented were carefully reviewed and selected for inclusion in the
... En savoir plus
Software Quality: The Next Big Thing in Software Engineering and Quality

14th International Conference on Software Quality, SWQD 2022, Vienna, Austria, May 17–19, 2022, Proceedings

Modifié par Daniel Mendez, Manuel Wimmer, Dietmar Winkler, Stefan Biffl, Johannes Bergsmann ...

Collections series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 14th Software Quality Days Conference, SWQD 2022, held in Vienna, Austria, during May 17-19, 2022.The Software Quality Days (SWQD) conference started in 2009 and has grown to the biggest conference on software quality in Europe. The program of the SWQD conference is designed to encompass a stimulating mixture of practical presentations and new ... En savoir plus

$76.89 CAD

This book constitutes the refereed proceedings of the 14th Software Quality Days Conference, SWQD 2022, held in Vienna, Austria, during May 17-19, 2022.The Software Quality Days (SWQD) conference started in 2009 and has grown to the biggest conference on software quality in Europe. The program of the SWQD conference is designed to encompass a stimulating mixture of practical presentations and new
... En savoir plus
Frontiers of Algorithmics

International Joint Conference, IJTCS-FAW 2021, Beijing, China, August 16–19, 2021, Proceedings

Modifié par Jing Chen, Minming Li, Guochuan Zhang ...

Collections series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of the 15th International Workshop on Frontiers in Algorithmics, FAW 2021, held in conjunction with second International Joint Conference on Theoretical Computer Science (IJTCS 2021), as IJTCS-FAW 2021, in Beijing, China, in August 2021.The conference IJTCS-FAW 2021 was held in hybrid mode due to the COVID-19 pandemic. The 5 full papers presented in this ... En savoir plus

$70.49 CAD

This book constitutes the proceedings of the 15th International Workshop on Frontiers in Algorithmics, FAW 2021, held in conjunction with second International Joint Conference on Theoretical Computer Science (IJTCS 2021), as IJTCS-FAW 2021, in Beijing, China, in August 2021.The conference IJTCS-FAW 2021 was held in hybrid mode due to the COVID-19 pandemic. The 5 full papers presented in this
... En savoir plus
Service-Oriented Computing

21st International Conference, ICSOC 2023, Rome, Italy, November 28 – December 1, 2023, Proceedings, Part I

Modifié par Flavia Monti, Stefanie Rinderle-Ma, Antonio Ruiz Cortés, Zibin Zheng, Massimo Mecella ...

Collections Livre 1 - Springer Nature Proceedings Computer Science
These two volumes constitute the proceedings of the 21st International Conference, ICSOC 2023, held Rome, Italy, during November 28–December 1, 2023.The 35 full papers and the 10 short papers included in this volume were carefully reviewed and selected from 208 submissions. The volumes focus on cutting-edge topics like artificial intelligence, machine learning, big data analytics, the Internet of ... En savoir plus

$96.09 CAD

These two volumes constitute the proceedings of the 21st International Conference, ICSOC 2023, held Rome, Italy, during November 28–December 1, 2023.The 35 full papers and the 10 short papers included in this volume were carefully reviewed and selected from 208 submissions. The volumes focus on cutting-edge topics like artificial intelligence, machine learning, big data analytics, the Internet of
... En savoir plus
Machine Learning and Knowledge Discovery in Databases: Research Track

European Conference, ECML PKDD 2023, Turin, Italy, September 18–22, 2023, Proceedings, Part V

Modifié par Danai Koutra, Claudia Plant, Manuel Gomez Rodriguez, Elena Baralis, Francesco Bonchi ...

Collections Livre 5 - Springer Nature Proceedings Computer Science
The multi-volume set LNAI 14169 until 14175 constitutes the refereed proceedings of the European Conference on Machine Learning and Knowledge Discovery in Databases, ECML PKDD 2023, which took place in Turin, Italy, in September 2023.The 196 papers were selected from the 829 submissions for the Research Track, and 58 papers were selected from the 239 submissions for the Applied Data Science Track ... En savoir plus

$89.69 CAD

The multi-volume set LNAI 14169 until 14175 constitutes the refereed proceedings of the European Conference on Machine Learning and Knowledge Discovery in Databases, ECML PKDD 2023, which took place in Turin, Italy, in September 2023.The 196 papers were selected from the 829 submissions for the Research Track, and 58 papers were selected from the 239 submissions for the Applied Data Science Track
... En savoir plus
Cloud Computing and Services Science

10th International Conference, CLOSER 2020, Prague, Czech Republic, May 7–9, 2020, Revised Selected Papers

Modifié par Donald Ferguson, Claus Pahl, Markus Helfert ...

Collections series Springer Nature Proceedings Computer Science
This book constitutes extended, revised and selected papers from the 10th International Conference on Cloud Computing and Services Science, CLOSER 2020, held in Prague, Czech Republic, in May 2020. Due to the COVID-19 pandemic the conference was held in a virtual format.The 14 papers presented in this volume were carefully reviewed and selected from a total of 69 submissions. CLOSER 2020 focuses ... En savoir plus

$64.09 CAD

This book constitutes extended, revised and selected papers from the 10th International Conference on Cloud Computing and Services Science, CLOSER 2020, held in Prague, Czech Republic, in May 2020. Due to the COVID-19 pandemic the conference was held in a virtual format.The 14 papers presented in this volume were carefully reviewed and selected from a total of 69 submissions. CLOSER 2020 focuses
... En savoir plus
Static Analysis

22nd International Symposium, SAS 2015, Saint-Malo, France, September 9-11, 2015, Proceedings

Modifié par Sandrine Blazy, Thomas Jensen ...

Collections series Springer Nature Proceedings Computer Science
This book constitutes the refereed proceedings of the 22nd International Static Analysis Symposium, SAS 2015, held in Saint-Malo, France, in September 2015.The 18 papers presented in this volume were carefully reviewed and selected from 44 submissions. All fields of static analysis as a fundamental tool for program verification, bug detection, compiler optimization, program understanding, and ... En savoir plus

$64.09 CAD

This book constitutes the refereed proceedings of the 22nd International Static Analysis Symposium, SAS 2015, held in Saint-Malo, France, in September 2015.The 18 papers presented in this volume were carefully reviewed and selected from 44 submissions. All fields of static analysis as a fundamental tool for program verification, bug detection, compiler optimization, program understanding, and
... En savoir plus

Liseuses

Applis

Accessoires

Panier

Vous profitez des avantages réservés aux VIP !

Votre panier est vide

Disponible:

1 livre audio par mois

+ Essai GRATUIT de 30 jours

Disponible:

1 livre audio par mois

+ Essai GRATUIT de 30 jours

Recommandé pour vous

eBooks Développement de logiciels

Afficher :