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 - Discover Iran Calendar 2025 A visual

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

Algopix Similar Product 2 - 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 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 - Python Development With AWS lambda

Python Development With AWS lambda

Algopix Similar Product 5 - 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 6 - The Soul of a New Machine Modern

The Soul of a New Machine (Modern Library)

Algopix Similar Product 7 - 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 8 - 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 9 - 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 10 - Serious Machines The Story of the

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

Algopix Similar Product 11 - 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 12 - Applied Parallel Computing State of

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

Algopix Similar Product 13 - RealTime Systems Design Principles

Real-Time Systems: Design Principles for Distributed Embedded Applications

Algopix Similar Product 14 - A Primer on Hardware Prefetching

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

Algopix Similar Product 15 - Embedded Systems Architecture A

Embedded Systems Architecture: A Comprehensive Guide for Engineers and Programmers

Algopix Similar Product 16 - Microservices Design Patterns For

Microservices Design Patterns For Serverless Application: A Complete Guide to sererless Application Design

Algopix Similar Product 17 - 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 18 - Fundamentals of Parallel Multicore

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

Algopix Similar Product 19 - Digital System Design

Digital System Design

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

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.