This book constitutes the thoroughly refereed post-conference proceedings of the 26th International Workshop on Algebraic Development Techniques, WADT 2022, held in Aveiro, Portugal, in June 2022. The 6 revised papers presented together with 2 invited papers were carefully reviewed and selected from 25 submissions. The contributed presentations covered a range of topics about the algebraic approach to system specification, which encompasses many aspects of the formal design of software systems. Originally born as formal method for reasoning about abstract data types, the algebraic approach now covers new specification frameworks and programming paradigms (such as object-oriented, aspect-oriented, agent-oriented, logic, and higher-order functional programming) as well as a wide range of application areas (including information systems, concurrent, distributed, and mobile systems).
Recent Trends in Algebraic Development Techniques: 26th IFIP WG 1.3 International Workshop, WADT 2022, Aveiro, Portugal, June 28?30, 2022, Revised Selected Papers
10-12 Days Shipping (Supply on Demand)
Delivery
₹75 shipping all over India
Secure Payment
100% Secure Payment
₹3,556.00₹4,714.00
In stock
SKU: | 9783031433443 |
---|---|
Category: | Imported-Books |
Tag: | Computer Science Books |
Weight | 1 kg |
---|---|
Book Author | Madeira |
Edition | 1st |
Format | Paperback |
ISBN | 9783031433443 |
Language | English |
Pages | 192 |
Publication Year | |
Publisher | |
Sell by | sarasbooksonline.com |
Related products
-
Autonomous Transformation: Creating a More Human Future in the Era of Artificial Intelligence
20-22 Business Day Shipping (Supply on Demand)
₹2,599.00 -
Principles of Managerial Finance
This program will provide a better teaching and learning experience—for you and your students. Here’s how:
- Improve Results with MyFinanceLab: MyFinanceLab delivers proven results in helping students succeed and provides engaging experiences that personalize learning.
- Guide Students with a Proven Learning Goal System: Integrating pedagogy with concepts and practical applications, this system presents the material students need to make effective financial decisions in a competitive business environment.
- Provide Real, Hands-on Examples and Connections: Personal finance connections, international considerations, and Excel® spreadsheet practice help students identify and apply concepts in their daily lives.
₹7,050.00 -
Corporate Computer Security
This edition includes more of a focus on the business applications of the concepts. Emphasis has been placed on securing corporate information systems, rather than just hosts in general. Keep Your Course Current and Relevant: New examples, exercises, and research findings appear throughout the text.
₹8,150.00 -
Web Development and Design Foundations with HTML5
An emphasis on hands-on practice guides students, as the text introduces topics ranging from configuration and layout to accessibility techniques and ethical considerations. The 8th Edition contains updated coverage of HTML5 and CSS, expanded coverage of designing for mobile devices, and more.
₹7,985.00 -
Thomas’ Calculus
Co-authors Hass and Weir have made it their passion to improve the text in keeping with the shifts in both the preparation and ambitions of today’s learners.
₹7,350.00 -
Technology In Action Complete
The 15th Edition is a timely and essential update of everything students need to know about computer concepts. Through practical content and hands-on projects, it provides an engaging learning experience from one chapter to the next.
₹6,563.00 -
Mobile Satellite Communications Handbook 2e
With a Preface by noted satellite scientist Dr. Ahmad Ghais, the Second Edition reflects the expanded user base for this technology by updating information on historic, current, and planned commercial and military satellite systems and by expanding sections that explain the technology for non-technical professionals.
₹12,850.00 -
Handbook on International Alliance and Network Research
Along with their impressive set of contributors, Larimo, Nummela and Mainela address the major issues that have led to the fragmented nature and inconsistency in research results in the literatures of alliances and networks. This book fills many of the structural holes in these two research domains and identifies the most fruitful areas for future scholarly work.’ –Patricia McDougall-Covin, Indiana University, US
₹20,499.00
Be the first to review “Recent Trends in Algebraic Development Techniques: 26th IFIP WG 1.3 International Workshop, WADT 2022, Aveiro, Portugal, June 28?30, 2022, Revised Selected Papers”