NASA Formal Methods: 15th International Symposium, NFM 2023, Houston, TX, USA, May 16–18, 2023, Proceedings: 13903 (Lecture Notes in Computer Science, 13903) - Image 1

£76.14

Springer NASA Formal Methods: 15th International Symposium, NFM 2023, Houston, TX, USA, May 16–18, 2023, Proceedings: 13903 (Lecture Notes in Computer Science, 13903)

Name: NASA Formal Methods: 15th International Symposium, NFM 2023, Houston, TX, USA, May 16-18, 2023, Proceedings: 13903 (Lecture Notes in Computer Science, 13903)
Brand: Springer
Price: 84.09 GBP
Availability: InStock

Architecture & Microprocessors

Price History & Forecast

Last 68 days • 68 data points (No recent data available)

Historical

Generating forecast...

Price Distribution

Price distribution over 68 days • 4 price levels

Days at Price

Current Price

Price Analysis

Most common price: £76 (33 days, 48.5%)

Price range: £76 - £85

Price levels: 4 different prices over 68 days

Product Specifications

Brand: Springer
Format: paperback
ASIN: 3031331699
Category: Books > Subjects > Computing & Internet > Computer Science > Architecture & Microprocessors
Domain: Amazon UK
Release Date: 03 June 2023
Listed Since: 12 April 2023

Barcode

No barcode data available

Springer NASA Formal Methods: 15th International Symposium, NFM 2023, Houston, TX, USA, May 16–18, 2023, Proceedings: 13903 (Lecture Notes in Computer Science, 13903)

Price History & Forecast

Price Distribution

Price Analysis

Product Specifications

Barcode

Similar Products You Might Like

Integrated Formal Methods: 18th International Conference, IFM 2023, Leiden, The Netherlands, November 13–15, 2023, Proceedings: 14300 (Lecture Notes in Computer Science, 14300)

Advances in Cryptology – CRYPTO 2023: 43rd Annual International Cryptology Conference, CRYPTO 2023, Santa Barbara, CA, USA, August 20–24, 2023, ... (Lecture Notes in Computer Science, 14083)

Computational Science – ICCS 2023: 23rd International Conference, Prague, Czech Republic, July 3–5, 2023, Proceedings, Part I: 14073 (Lecture Notes in Computer Science, 14073)

Advanced Intelligent Computing Technology and Applications: 19th International Conference, ICIC 2023, Zhengzhou, China, August 10–13, 2023, ... (Lecture Notes in Computer Science, 14086)

Computational Science and Its Applications – ICCSA 2023: 23rd International Conference, Athens, Greece, July 3–6, 2023, Proceedings, Part II: 13957 (Lecture Notes in Computer Science, 13957)

Human-Computer Interaction: Thematic Area, HCI 2023, Held as Part of the 25th HCI International Conference, HCII 2023, Copenhagen, Denmark, July ... (Lecture Notes in Computer Science, 14013)

Flexible Query Answering Systems: 15th International Conference, FQAS 2023, Mallorca, Spain, September 5–7, 2023, Proceedings: 14113 (Lecture Notes in Computer Science, 14113)

Machine Learning, Optimization, and Data Science: 9th International Conference, LOD 2023, Grasmere, UK, September 22–26, 2023, Revised Selected ... (Lecture Notes in Computer Science, 14505)

Logic, Language, Information, and Computation: 29th International Workshop, WoLLIC 2023, Halifax, NS, Canada, July 11–14, 2023, Proceedings: 13923 (Lecture Notes in Computer Science, 13923)

Computational Science and Its Applications – ICCSA 2023: 23rd International Conference, Athens, Greece, July 3–6, 2023, Proceedings, Part I: 13956 (Lecture Notes in Computer Science, 13956)

Advances in Cryptology – CRYPTO 2023: 43rd Annual International Cryptology Conference, CRYPTO 2023, Santa Barbara, CA, USA, August 20–24, 2023, ... (Lecture Notes in Computer Science, 14082)

Virtual, Augmented and Mixed Reality: 15th International Conference, VAMR 2023, Held as Part of the 25th HCI International Conference, HCII 2023, ... (Lecture Notes in Computer Science, 14027)

Database Systems for Advanced Applications: 28th International Conference, DASFAA 2023, Tianjin, China, April 17–20, 2023, Proceedings, Part I: 13943 (Lecture Notes in Computer Science, 13943)

Human Interface and the Management of Information: Thematic Area, HIMI 2023, Held as Part of the 25th HCI International Conference, HCII 2023, ... (Lecture Notes in Computer Science, 14015)

Advances in Swarm Intelligence: 14th International Conference, ICSI 2023, Shenzhen, China, July 14–18, 2023, Proceedings, Part I: 13968 (Lecture Notes in Computer Science, 13968)

Cross-Cultural Design: 15th International Conference, CCD 2023, Held as Part of the 25th International Conference, HCII 2023, Copenhagen, Denmark, ... (Lecture Notes in Computer Science, 14022)

Mathematical Analysis and Numerical Methods: IACMC 2023, Zarqa, Jordan, May 10–12 (Springer Proceedings in Mathematics & Statistics, 466)

Advances in Cryptology – CRYPTO 2023: 43rd Annual International Cryptology Conference, CRYPTO 2023, Santa Barbara, CA, USA, August 20–24, 2023, ... (Lecture Notes in Computer Science, 14084)

Culture and Computing: 11th International Conference, C&C 2023, Held as Part of the 25th HCI International Conference, HCII 2023, Copenhagen, Denmark, ... (Lecture Notes in Computer Science, 14035)

Algorithmic Game Theory: 16th International Symposium, SAGT 2023, Egham, UK, September 4–7, 2023, Proceedings: 14238 (Lecture Notes in Computer Science, 14238)

Springer ICISAT 2023 - AI and Computing Lecture Notes

Proceedings of the 15th International Conference on Vibration Problems: ICoVP 2023 (Lecture Notes in Mechanical Engineering)

Intelligent Computer Mathematics: 16th International Conference, CICM 2023, Cambridge, UK, , September 5–8, 2023 Proceedings: 14101 (Lecture Notes in Computer Science, 14101)

Computational Logistics: 14th International Conference, ICCL 2023, Berlin, Germany, September 6–8, 2023, Proceedings: 14239 (Lecture Notes in Computer Science, 14239)