• Fri frakt över 249 kr
  • •
  • Snabba leveranser
  • •
  • Billiga böcker
Kundservice

Du är på sajten för privatpersoner.

Företag, bibliotek eller offentlig verksamhet?

Du handlar på classic.bokus.com, där alla dina funktioner finns intakta.
Till classic.bokus.com
Bokus logotyp. Gå till startsidan.
  • Erbjudanden
  • Student
  • Topplistor
  • Barn & ungdom
  • Bokus Play
  • E-böcker
  • Ljudböcker
  • Pocketböcker
  • Spel och pussel

Skapa nya rutiner – hälsoböcker upp till 50% →

Sidfot

Mina sidor

    Hjälp

    • Kundservice
    • Vanliga frågor och svar
    • Frakt och leverans
    • Retur vid ångerrätt
    • Reklamera vara
    • Betalning
    • Köpvillkor
    • Allmänna villkor
    • Information om webbplatsens tillgänglighet

    Om Bokus

    • Om oss
    • Pressrum
    • För studenter
    • För företag
    • För bibliotek och offentlig verksamhet
    • För leverantörer
    • Hållbarhet

    Populärt

    • Aktuella erbjudanden
    • Presentkort
    • Studentlitteratur
    • Nya böcker
    • Topplistor
    • Signerade böcker
    • Engelska böcker

    Inspiration

    • Boktips
    • BookTok
    • Barnbokskaraktärer
    • Populära författare
    Logotyp för Bokus
    Följ oss på Facebook (extern länk)Följ oss på Instagram (extern länk)Följ oss på YouTube (extern länk)Följ oss på TikTok (extern länk)
    bokus @ CookiesAnpassa cookiesIntegritetspolicyKöpvillkor
    Till Citymail hemsida (extern länk)Till Budbee hemsida (extern länk)Till Postnord hemsida (extern länk)Till Schenker hemsida (extern länk)Till Early Bird hemsida (extern länk)Till Walleys hemsida (extern länk)
    1. Naturvetenskap och teknik
    2. Matematik och naturvetenskap
    3. Matematik
    4. Matematikens grunder

    Formal Methods Teaching

    6th Formal Methods Teaching Workshop, FMTea 2024, Milan, Italy, September 10, 2024, Proceedings

    AvLeila Ribeiro,Emil Sekerinski

    E-bok
    Engelska, 2024

    521 kr

    Läs direkt i Bokus Reader – eller ladda ned till din enhet

    Beskrivning

    This book constitutes the proceedings of the 6th International Workshop on Formal Methods Teaching, FMTea 2024, which was held in Milan, Italy, on September 10, 2024.

    The 7 full papers included in these proceedings were carefully reviewed and selected from 9 submissions. The book also contains one invited talk in full paper length. The papers focus on learning formal methods for the purpose of teaching and self-learning.

    Produktinformation

    • Utgivningsdatum:2024-09-04
    • Språk:Engelska
    • Filformat:EPUB
    • Kopieringsskydd:LCP
    • ISBN:9783031713798
    • Förlag:Springer Nature Switzerland

    Utforska kategorier

    • Matematikens grunder inom Naturvetenskap och teknik
    • Hårdvara inom Data och IT
    • Programvaruutveckling inom Data och IT
    Hoppa över listan

    Du kanske också är intresserad av

    Emil Sekerinski, Leila Ribeiro - Formal Methods Teaching, Häftad
    Del 14939

    Formal Methods Teaching

    Emil Sekerinski, Leila Ribeiro

    Häftad, 2024

    415 kr

    Grzegorz Rozenberg, Leila Ribeiro, Ugo Montanari, Hartmut Ehrig, Andrea Corradini - Graph Transformations, E-bok

    Graph Transformations

    Grzegorz Rozenberg, Leila Ribeiro, Ugo Montanari, Hartmut Ehrig, Andrea Corradini

    E-bok
    2006

    710 kr

    Thierry Lecomte, Leila Ribeiro - Formal Methods: Foundations and Applications, E-bok

    Formal Methods: Foundations and Applications

    Thierry Lecomte, Leila Ribeiro

    E-bok
    2016

    732 kr

    Leila Ribeiro, Thierry Lecomte - Formal Methods: Foundations and Applications, Häftad
    Del 10090

    Formal Methods: Foundations and Applications

    Leila Ribeiro, Thierry Lecomte

    Häftad, 2016

    560 kr

    Andrea Corradini, Hartmut Ehrig, Ugo Montanari, Leila Ribeiro, Grzegorz Rozenberg - Graph Transformations, Häftad

    Graph Transformations

    Andrea Corradini, Hartmut Ehrig, Ugo Montanari, Leila Ribeiro, Grzegorz Rozenberg

    Häftad, 2006

    544 kr

    Emil Sekerinski, Nelma Moreira, José N. Oliveira, Daniel Ratiu, Riccardo Guidotti, Marie Farrell, Matt Luckcuck, Diego Marmsoler, José Campos, Troy Astarte, Laure Gonnord, Antonio Cerone, Luis Couto, Brijesh Dongol, Martin Kutrib, Pedro Monteiro, David Delmas - Formal Methods. FM 2019 International Workshops, Häftad
    Del 12232

    Formal Methods. FM 2019 International Workshops

    Emil Sekerinski, Nelma Moreira, José N. Oliveira, Daniel Ratiu, Riccardo Guidotti, Marie Farrell, Matt Luckcuck, Diego Marmsoler, José Campos, Troy Astarte, Laure Gonnord, Antonio Cerone, Luis Couto, Brijesh Dongol, Martin Kutrib, Pedro Monteiro, David Delmas

    Häftad, 2020

    560 kr

    Jayadev Misra, Tobias Nipkow, Emil Sekerinski - FM 2006: Formal Methods, Häftad

    FM 2006: Formal Methods

    Jayadev Misra, Tobias Nipkow, Emil Sekerinski

    Häftad, 2006

    1 113 kr

    Emil Sekerinski, Nelma Moreira, José N. Oliveira, Daniel Ratiu, Riccardo Guidotti, Marie Farrell, Matt Luckcuck, Diego Marmsoler, José Campos, Troy Astarte, Laure Gonnord, Antonio Cerone, Luis Couto, Brijesh Dongol, Martin Kutrib, Pedro Monteiro, David Delmas - Formal Methods. FM 2019 International Workshops, Häftad
    Del 12233

    Formal Methods. FM 2019 International Workshops

    Emil Sekerinski, Nelma Moreira, José N. Oliveira, Daniel Ratiu, Riccardo Guidotti, Marie Farrell, Matt Luckcuck, Diego Marmsoler, José Campos, Troy Astarte, Laure Gonnord, Antonio Cerone, Luis Couto, Brijesh Dongol, Martin Kutrib, Pedro Monteiro, David Delmas

    Häftad, 2020

    560 kr

    Kaisa Sere, Emil Sekerinski, Emil Sekerinski, Kaisa Sere - Program Development by Refinement, Häftad

    Program Development by Refinement

    Kaisa Sere, Emil Sekerinski, Emil Sekerinski, Kaisa Sere

    Häftad, 1998

    2 219 kr

    Emil Sekerinski, Elvira Albert - Integrated Formal Methods, E-bok

    Integrated Formal Methods

    Emil Sekerinski, Elvira Albert

    E-bok
    2014

    734 kr