Skip your Account's links

$ USD

Advanced search

0 items

$0.00
  • Your basket
  • The RRP is the suggested or Recommended Retail Price of a product, set by the publisher or manufacturer.

  • View basket

  • Your basket is empty

  • Delivery included on your order!

  • View basket

Skip Navigation and go to main content

Delivery included to the United States

Formal Methods Teaching

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

Paperback (21 Feb 2023)

Save $10.53

  • RRP $68.35
  • $57.82
Add to basket

Includes delivery to the United States

10+ copies available online - Usually dispatched within 7 days

Check stock

    Publisher's Synopsis

    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.

    Book information

    ISBN: 9783031275333
    Publisher: Springer Nature Switzerland
    Imprint: Springer
    Pub date:
    DEWEY: 004.0151
    DEWEY edition: 23
    Language: English
    Number of pages: 107
    Weight: 172g
    Height: 235mm
    Width: 155mm
    Spine width: 6mm

    We recommend

    $1.81off

    Add to basket
    Add to basket

    $2.50off

    Logic

    Graham Priest

    Paperback
    Published 26 Oct 2017

    Save $2.50

    • RRP $13.66
    • $11.16
    Add to basket
    Add to basket

    $8.70off

    The Web We Weave

    Jeff Jarvis

    Hardback
    Published 05 Dec 2024

    Save $8.70

    • RRP $34.18
    • $25.48
    Add to basket

    $3.14off

    Add to basket

    $16.40off

    The Metaverse Dilemma

    Chitra Krishnan (edi...

    Hardback
    Published 02 Dec 2024

    Save $16.40

    • RRP $116.21
    • $99.81
    Add to basket
    Add to basket
    Add to basket

    $6.95off

    Moral AI

    Jana Schaich Borg, W...

    Hardback
    Published 08 Feb 2024

    Save $6.95

    • RRP $34.18
    • $27.23
    Add to basket