Formal Methods Teaching
Odporučiť
  • Anglický jazyk

Formal Methods Teaching

Autor: Emil Sekerinski

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

Na objednávku

39.70 €

bežná cena: 41.79 €

O knihe

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.

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

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

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

MuPAD Pro Computing Essentials

Miroslaw Majewski

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

Hyperbolic Systems of Conservation Laws

Alberto Bressan

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

Mathematics for Finance An Introduction

Marek Capinski

49.38 € 51.98 € (ušetríte 5%)
HEAVEN & EARTH

HEAVEN & EARTH

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

Guesstimation 2.0

Lawrence Weinstein

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

Applications of Green`s Functions in Science and Engineering

Michael Greenberg

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

Linear Operators for Quantum Mechanics

Thomas Jordan

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

Johnson, N: Continuous Univariate Distributions, Volume 2

166.50 € 175.26 € (ušetríte 5%)
Atlas of Science

Atlas of Science

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

Fuzzy Probability Spaces, Fuzzy Dynamical Systems, and Entropy

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

Introduction to Mathematics with Maple

Peter Adams

59.13 € 62.24 € (ušetríte 5%)

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