Algopix Logo
Low Inventory

Software Engineering and Formal Methods: 20th International Conference, SEFM 2022, Berlin, Germany, September 26–30, 2022, Proceedings (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
AID2VDRFK001
Copied!
ASIN
Upgrade Account
EAN
Upgrade Account
UPC
Upgrade Account

Shipping Dimensions

Width
6.14 in.
Length
9.29 in.
Height
0.91 in.
Weight
19.04 oz.

Product Dimensions

Width
0.88 in.
Length
6.1 in.
Height
9.25 in.
Weight
19.04 oz.

Similar Items

Algopix Similar Product 1 - 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 2 - 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 3 - Software Engineering and Formal

Software Engineering and Formal Methods: 20th International Conference, SEFM 2022, Berlin, Germany, September 26–30, 2022, Proceedings (Lecture Notes in Computer Science)

Algopix Similar Product 4 - 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 5 - Discover Iran Calendar 2025 A visual

Discover Iran Calendar 2025: A visual journey through the rich culture and landscapes of Iran

Algopix Similar Product 6 - Leveraging Applications of Formal

Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering: 11th International Symposium, ISoLA 2022, Rhodes, ... Part II (Lecture Notes in Computer Science)

Algopix Similar Product 7 - SDL 2001 Meeting UML 10th

SDL 2001: Meeting UML: 10th International SDL Forum Copenhagen, Denmark, June 27-29, 2001. Proceedings (Lecture Notes in Computer Science, 2078)

Algopix Similar Product 8 - A Primer on Hardware Prefetching

A Primer on Hardware Prefetching (Synthesis Lectures on Computer Architecture)

Algopix Similar Product 9 - 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 10 - 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 11 - Ubiquitous Networking 8th

Ubiquitous Networking: 8th International Symposium, UNet 2022, Montreal, QC, Canada, October 25–27, 2022, Revised Selected Papers (Lecture Notes in Computer Science)

Algopix Similar Product 12 - Serious Machines The Story of the

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

Algopix Similar Product 13 - Embedded Systems Architecture A

Embedded Systems Architecture: A Comprehensive Guide for Engineers and Programmers

Algopix Similar Product 14 - Digital System Design

Digital System Design

Algopix Similar Product 15 - Applied Parallel Computing State of

Applied Parallel Computing: State of the Art in Scientific Computing (Lecture Notes in Computer Science, 3732)

Algopix Similar Product 16 - RealTime Systems Design Principles

Real-Time Systems: Design Principles for Distributed Embedded Applications

Algopix Similar Product 17 - Fundamentals of Parallel Multicore

Fundamentals of Parallel Multicore Architecture (Chapman & Hall/CRC Computational Science)

Algopix Similar Product 18 - 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 19 - Computer Architecture

Computer Architecture

Algopix Similar Product 20 - 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)

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.