Formal Methods Teaching: 5th International Workshop, FMTea 2023, Lübeck, Germany, March 6, 2023, Proceedings (Lecture Notes in Computer Science)

★★★★★ 4.9 21 reviews
US$20.68
Price when purchased online
Free shipping Free 30-day returns
Sold and shipped by tuscaloosastrays.org
We aim to show you accurate product information. Manufacturers, suppliers and others provide what you see here.
US$20.68
Price when purchased online
Free shipping Free 30-day returns
How do you want your item?
You get 30 days free! Choose a plan at checkout.
Shipping
Arrives Jun 30
Free
Pickup
Check nearby
Delivery
Not available
Sold and shipped by tuscaloosastrays.org
Free 30-day returns Details

Product details

Management number 232087375 Release Date 2026/06/18 List Price US$20.68 Model Number 232087375
Category
  1. Books
  2. Computers & Technology
  3. Computer Science
  4. AI & Machine Learning
  5. Intelligence & Semantics

This book constitutes the proceedings of the 5th International Workshop on Formal Methods Teaching, FMTea 2023, which was held in Lübeck, Germany, in March 2023.The 7 full papers presented in this volume were carefully reviewed and selected from 10 submissions. FMTea 2023 aim is to support a worldwide improvement in learning Formal Methods, mainly by teaching but also via self-learning. Read more

Formal Methods Teaching: 5th International Workshop, FMTea 2023, Lübeck, Germany, March 6, 2023, Proceedings (Lecture Notes in Computer Science)

Bestseller ranking

Jars

1
10ML / 10G Clear Plastic Jars With Silicone Liner Insert | Screw On Lids | Poly Containers For Cosmetics, Essential Oils, Creams, Powder & Storage | RVTUS (25 Pack)

10ML / 10G Clear Plastic Jars With Silicone Liner Insert | Screw On Lids | Poly Containers For Cosmetics, Essential Oils, Creams, Powder & Storage | RVTUS (25 Pack)

★★★☆☆ (16)
$9.20
2
24 Pack 3oz Screw Top Aluminum Tin Jars with Screw Lids and Blank Labels - Refillable 90ml Metal Containers for Lip Balms, Candles, Salves, Spices, Crafts (Champagne)

24 Pack 3oz Screw Top Aluminum Tin Jars with Screw Lids and Blank Labels - Refillable 90ml Metal Containers for Lip Balms, Candles, Salves, Spices, Crafts (Champagne)

★★★☆☆ (35)
$9.20
3
Refillable Cosmetic Sample Jars - 100 Pack 15g (0.5oz) Black Small Travel Containers with Lids + 10 Mini Makeup Spatulas - BPA Free

Refillable Cosmetic Sample Jars - 100 Pack 15g (0.5oz) Black Small Travel Containers with Lids + 10 Mini Makeup Spatulas - BPA Free

★★★☆☆ (31)
$9.60
4
Norme 24 Pcs 4 oz Glass Jars with Lids Leakproof Round Airtight Empty Cosmetic Jars with Inner Liners Lid for Storing Lotions Powder Ointments Making Tins (Blue,Black)

Norme 24 Pcs 4 oz Glass Jars with Lids Leakproof Round Airtight Empty Cosmetic Jars with Inner Liners Lid for Storing Lotions Powder Ointments Making Tins (Blue,Black)

★★★☆☆ (35)
$11.72
5
1 Oz Blue Round Glass Jars with Inner Liners and Black Lids(24PCS) Empty Cream Containers Refillable Cosmetic Vials for Cosmetics, Lotions, Ointment, Body Scrubs & Balms

1 Oz Blue Round Glass Jars with Inner Liners and Black Lids(24PCS) Empty Cream Containers Refillable Cosmetic Vials for Cosmetics, Lotions, Ointment, Body Scrubs & Balms

★★★★☆ (44)
$10.80
6
Outus 200 Pcs 2 ml Silicone Wax Containers Non-stick Silicone Wax Containers Multi Use Storage Jars Oil Concentrate Bottles for Home Kitchen Travel, Assorted Colors

Outus 200 Pcs 2 ml Silicone Wax Containers Non-stick Silicone Wax Containers Multi Use Storage Jars Oil Concentrate Bottles for Home Kitchen Travel, Assorted Colors

★★★★☆ (29)
$11.20
See the same product from Jars

Customers who viewed this product also viewed

Intelligence & Semantics

Pan-African Conference on Artificial Intelligence: Third Pan African Conference, PanAfriCon AI 2024, Addis Ababa, Ethiopia, October 8–9, 2024, ... in Computer and Information Science)

Pan-African Conference on Artificial Intelligence: Third Pan African Conference, PanAfriCon AI 2024, Addis Ababa, Ethiopia, October 8–9, 2024, ... in Computer and Information Science)

★★★★☆ (30)
$40.00
Parallelism, Learning, Evolution: Workshop on Evolutionary Models and Strategies, Neubiberg, Germany, March 10-11, 1989. Workshop on Parallel ... (Lecture Notes in Computer Science, 565)

Parallelism, Learning, Evolution: Workshop on Evolutionary Models and Strategies, Neubiberg, Germany, March 10-11, 1989. Workshop on Parallel ... (Lecture Notes in Computer Science, 565)

★★★★☆ (45)
$18.96
Smart and Sustainable Technology for Resilient Cities and Communities (Advances in Sustainability Science and Technology)

Smart and Sustainable Technology for Resilient Cities and Communities (Advances in Sustainability Science and Technology)

★★★★☆ (28)
$67.03
Ubiquitous Computing and Ambient Intelligence: Context-Awareness and Context-Driven Interaction: 7th International Conference, UCAmI 2013, Carrillo, ... Applications, incl. Internet/Web, and HCI)

Ubiquitous Computing and Ambient Intelligence: Context-Awareness and Context-Driven Interaction: 7th International Conference, UCAmI 2013, Carrillo, ... Applications, incl. Internet/Web, and HCI)

★★★★☆ (19)
$18.96
Clinical Applications of Artificial Intelligence in Medicine: Imaging, Diagnostics, Predictive Analytics, and Intelligent Technologies in Modern Medicine

Clinical Applications of Artificial Intelligence in Medicine: Imaging, Diagnostics, Predictive Analytics, and Intelligent Technologies in Modern Medicine

★★★★☆ (40)
$65.76
Faster Than Us: What Happens to Human Judgment When Artificial Intelligence Moves Faster Than We Do

Faster Than Us: What Happens to Human Judgment When Artificial Intelligence Moves Faster Than We Do

★★★☆☆ (42)
$9.65
See all the same products

Correction of product information

If you notice any omissions or errors in the product information on this page, please use the correction request form below.

Correction Request Form

Customer ratings & reviews

4.9 out of 5
★★★★★
21 ratings | 9 reviews
How item rating is calculated
View all reviews
5 stars
89% (19)
4 stars
1% (0)
3 stars
0% (0)
2 stars
0% (0)
1 star
10% (2)
Sort by

There are currently no written reviews for this product.