Algopix Logo
Low Inventory

Leveraging Applications of Formal Methods, Verification and Validation. Practice: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October ... Part IV (Lecture Notes in Computer Science)

See customer reviews
Best offer in the last 28 days!Golden Dollar
Marketplace
Price
Low Inventory

Product Identifiers

AIDAlgopix unique identifier
AID5KXF9K001
Copied!
ASIN
Upgrade Account
EAN
Upgrade Account
UPC
Upgrade Account

Shipping Dimensions

Width
6.1 in.
Length
9.21 in.
Height
1.3 in.
Weight
23.36 oz.

Product Dimensions

Width
1 in.
Length
6.1 in.
Height
9.25 in.
Weight
21.6 oz.

Similar Items

Algopix Similar Product 1 - Serious Machines The Story of the

Serious Machines: The Story of the Computers That Built the Modern World

Algopix Similar Product 2 - The BOXES Methodology Black Box

The BOXES Methodology: Black Box Dynamic Control

Algopix Similar Product 3 - American Pit Bull Calendar 2025 365

American Pit Bull Calendar 2025: 365 Days of Motivation, Includes Last 3 Months of 2024, Ideal for American Pit Bull, A One of a Kind Event Gift for ... Yankee Swap, Seasonal Celebrations, Featuring

Algopix Similar Product 4 - Leveraging Applications of Formal

Leveraging Applications of Formal Methods, Verification and Validation. Practice: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October ... Part IV (Lecture Notes in Computer Science)

Algopix Similar Product 5 - Computer Architecture

Computer Architecture

Algopix Similar Product 6 - Intelligent Agents III Agent Theories

Intelligent Agents III. Agent Theories, Architectures, and Languages: ECAI'96 Workshop (ATAL), Budapest, Hungary, August 12-13, 1996, Proceedings (Lecture Notes in Computer Science, 1193)

Algopix Similar Product 7 - Performance Cookbook for Arm

Performance Cookbook for Arm: Understanding and optimizing the hardware performance of Arm-based SoCs

Algopix Similar Product 8 - ContextAware Systems and Applications

Context-Aware Systems and Applications: 12th EAI International Conference, ICCASA 2023, Ho Chi Minh City, Vietnam, October 26-27, 2023, Proceedings ... and Telecommunications Engineering, 579)

Algopix Similar Product 9 - Embedded Computer Systems

Embedded Computer Systems: Architectures, Modeling, and Simulation: 22nd International Conference, SAMOS 2022, Samos, Greece, July 3–7, 2022, Proceedings (Lecture Notes in Computer Science)

Algopix Similar Product 10 - Models for Parallel and Distributed

Models for Parallel and Distributed Computation: Theory, Algorithmic Techniques and Applications (Applied Optimization, 67)

Algopix Similar Product 11 - PE Electrical Computer Exam Study

PE Electrical & Computer Exam Study Guide: Advanced Engineering Concepts to Ace Your Goals! | Tests | Q&A | Audio

Algopix Similar Product 12 - A Pipelined Multicore MIPS Machine

A Pipelined Multi-core MIPS Machine: Hardware Implementation and Correctness Proof (Theoretical Computer Science and General Issues)

Algopix Similar Product 13 - NextGen Computer Architecture Till

Next-Gen Computer Architecture: Till The End of Silicon - Version 2.0

Algopix Similar Product 14 - Computational Science and Its

Computational Science and Its Applications – ICCSA 2024 Workshops: Hanoi, Vietnam, July 1–4, 2024, Proceedings, Part VIII (Lecture Notes in Computer Science, 14822)

Algopix Similar Product 15 - ComputerHardware Evaluation of

Computer-Hardware Evaluation of Mathematical Functions

Algopix Similar Product 16 - Introduction to Reconfigurable

Introduction to Reconfigurable Supercomputing (Synthesis Lectures on Computer Architecture)

Algopix Similar Product 17 - ModelDriven Engineering and Software

Model-Driven Engineering and Software Development: 11th International Conference, MODELSWARD 2023, Lisbon, Portugal, February 19–21, 2023, Revised ... in Computer and Information Science, 2106)

Algopix Similar Product 18 - The Impact of Digital Technologies on

The Impact of Digital Technologies on Public Health in Developed and Developing Countries: 18th International Conference, ICOST 2020, Hammamet, ... (Lecture Notes in Computer Science, 12157)

Algopix Similar Product 19 - Computational Science and Its

Computational Science and Its Applications – ICCSA 2024 Workshops: Hanoi, Vietnam, July 1–4, 2024, Proceedings, Part XI (Lecture Notes in Computer Science, 14825)

Algopix Similar Product 20 - Wireless Communication Electronics by

Wireless Communication Electronics by Example

As an affiliate partner with eBay, Amazon, and Walmart, we earn from qualifying purchases. This means that we may receive a commission when you purchase products through links on our site. This does not affect the price you pay and helps us continue to provide valuable content. We appreciate your support.