Formal Methods Teaching
Odporučiť
  • Anglický jazyk

Formal Methods Teaching

Autor: Catherine Dubois

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... Viac o knihe

Na objednávku, dodanie 2-4 týždne

54.44 €

bežná cena: 60.49 €

O knihe

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.

  • Vydavateľstvo: Springer
  • Rok vydania: 2023
  • Formát: Paperback
  • Rozmer: 235 x 155 mm
  • Jazyk: Anglický jazyk
  • ISBN: 9783031275333

Odporúčané tituly:

Greenberg, M: Applications of Green's Functions in Science
  • Anglický jazyk Anglický jazyk

Greenberg, M: Applications of Green's Functions in Science

16.97 € 18.86 € (ušetríte 10%)
MuPAD Pro Computing Essentials
  • Anglický jazyk Anglický jazyk

MuPAD Pro Computing Essentials

Miroslaw Majewski

68.32 € 75.91 € (ušetríte 10%)
Hyperbolic Systems of Conservation Laws
  • Anglický jazyk Anglický jazyk

Hyperbolic Systems of Conservation Laws

Alberto Bressan

152.00 € 168.89 € (ušetríte 10%)
Mathematics for Finance An Introduction
  • Anglický jazyk Anglický jazyk

Mathematics for Finance An Introduction

Marek Capinski

46.78 € 51.98 € (ušetríte 10%)
HEAVEN & EARTH

HEAVEN & EARTH

20.04 € 22.27 € (ušetríte 10%)
Guesstimation 2.0
  • Anglický jazyk Anglický jazyk

Guesstimation 2.0

Lawrence Weinstein

19.74 € 21.93 € (ušetríte 10%)
Applications of Green`s Functions in Science and Engineering
  • Anglický jazyk Anglický jazyk

Applications of Green`s Functions in Science and Engineering

Michael Greenberg

16.97 € 18.86 € (ušetríte 10%)
Linear Operators for Quantum Mechanics
  • Anglický jazyk Anglický jazyk

Linear Operators for Quantum Mechanics

Thomas Jordan

16.97 € 18.86 € (ušetríte 10%)
Johnson, N: Continuous Univariate Distributions, Volume 2
  • Anglický jazyk Anglický jazyk

Johnson, N: Continuous Univariate Distributions, Volume 2

157.73 € 175.26 € (ušetríte 10%)
Atlas of Science

Atlas of Science

28.45 € 31.61 € (ušetríte 10%)
Fuzzy Probability Spaces, Fuzzy Dynamical Systems, and Entropy

Fuzzy Probability Spaces, Fuzzy Dynamical Systems, and Entropy

41.36 € 45.95 € (ušetríte 10%)
Introduction to Mathematics with Maple
  • Anglický jazyk Anglický jazyk

Introduction to Mathematics with Maple

Peter Adams

56.02 € 62.24 € (ušetríte 10%)

Generuje redakčný systém BUXUS CMS spoločnosti ui42.