Breaking News!
60% Off the Hottest Halloween Costumes & Accessories

Formal Methods Teaching

Best Price (Coupon Required):
Buy Formal Methods Teaching for $34.20 at @ Link.springer.com when you apply the 10% OFF coupon at checkout.
Click “Get Coupon & Buy” to copy the code and unlock the deal.

Set a price drop alert to never miss an offer.

1 Offer Price Range: $37.99 - $37.99
BEST PRICE

Single Product Purchase

$34.20
@ Link.springer.com with extra coupon

Price Comparison

Seller Contact Seller List Price On Sale Shipping Best Promo Final Price Volume Discount Financing Availability Seller's Page
BEST PRICE
1 Product Purchase
@ Link.springer.com
$37.99 $37.99

10% OFF
This deals requires coupon
$34.20
See Site In stock Visit Store

Product Details

Brand
Springer Nature
Manufacturer
N/A
Part Number
0
GTIN
9783030324407
Condition
New
Product Description

This book constitutes the refereed proceedings of the Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 2019. The 14 full papers presented together with 3 abstract papers were carefully reviewed and selected from 22 submissions. The papers are organized in topical sections named: Tutorial lectures; Teaching Program Verification; Teaching Program Development; and Effective Teaching Techniques.

Available Colors
Available Sizes

Reviews

0
0 reviews
5 stars
4 stars
3 stars
2 stars
1 star

Questions & Answers

Similar Products

Lymphatic Filariasis

Lymphatic Filariasis

$129.00
Handbuch Educational Governance Theorien

Handbuch Educational Governance Theorien

$229.99
Biometric Authentication

Biometric Authentication

$54.99
Captain Underpants and the Sensational Saga of Sir Stinks-A-Lot (#12) (Color Edition) (Hardcover)

Captain Underpants and the Sensational Saga of Sir Stinks-A-Lot (#12) (Color Edition) (Hardcover)

$9.74
Einfhrung in die Literaturwissenschaft

Einfhrung in die Literaturwissenschaft

$24.99
Bioanalysis and Biosensors for Bioprocess Monitoring

Bioanalysis and Biosensors for Bioprocess Monitoring

$259.00
The TNF Superfamily

The TNF Superfamily

$109.00
Immersive Projection Technology and Virtual Environments 2001

Immersive Projection Technology and Virtual Environments 2001

$109.99
Historical Reenactment

Historical Reenactment

$139.99
Seawater-Sediment Interactions in Coastal Waters

Seawater-Sediment Interactions in Coastal Waters

$54.99
Personalfhrung in Organisationen der Sozialwirtschaft

Personalfhrung in Organisationen der Sozialwirtschaft

$34.99
Covid-19 and Capitalism

Covid-19 and Capitalism

$59.99
Dependability Problems of Complex Information Systems

Dependability Problems of Complex Information Systems

$109.99
Fredric Jameson

Fredric Jameson

$54.99
The Agricultural Cooperative in the Framework of the European Cooperative Society

The Agricultural Cooperative in the Framework of the European Cooperative Society

$179.99
Hilfe! Mein Kind soll die Aufnahmeprfung in die Sexta bestehen!

Hilfe! Mein Kind soll die Aufnahmeprfung in die Sexta bestehen!

$69.99
Klteprozesse

Klteprozesse

$54.99
Air Flow Management in Raised Floor Data Centers

Air Flow Management in Raised Floor Data Centers

$39.99
Cell Dynamics

Cell Dynamics

$54.99
Metaphor and Political Discourse

Metaphor and Political Discourse

$54.99
Nachhaltigkeit entfesseln!

Nachhaltigkeit entfesseln!

$24.99
Laser Spectroscopy III

Laser Spectroscopy III

$84.99
Biochemisches Handlexikon

Biochemisches Handlexikon

$59.99
Private Ratings, Public Regulations

Private Ratings, Public Regulations

$39.99
Direct Digital Control for Building HVAC Systems

Direct Digital Control for Building HVAC Systems

$169.99
CRM Systems in Industrial Companies

CRM Systems in Industrial Companies

$109.99
Microbial Diversity in Ecosystem Sustainability and Biotechnological Applications

Microbial Diversity in Ecosystem Sustainability and Biotechnological Applications

$249.99
Clinical Cellular Immunology

Clinical Cellular Immunology

$109.99
Untersuchungen ber die Verschlackung von Schamotte-Pfannensteinen

Untersuchungen ber die Verschlackung von Schamotte-Pfannensteinen

$59.99
Adult in Leukemias 1

Adult in Leukemias 1

$39.99
Mssbauer Effect Methodology

Mssbauer Effect Methodology

$109.99
Neural Information Processing

Neural Information Processing

$129.00
Applications of Fibonacci Numbers

Applications of Fibonacci Numbers

$84.99
Counting Lattice Paths Using Fourier Methods

Counting Lattice Paths Using Fourier Methods

$59.99
Growth and Defence in Plants

Growth and Defence in Plants

$219.99
Liquid Spray from Nozzles

Liquid Spray from Nozzles

$159.99
The Death of the Comprehensive High School?

The Death of the Comprehensive High School?

$54.99
Formal Methods for Industrial Critical Systems

Formal Methods for Industrial Critical Systems

$49.99
Real Estate Market of Ukraine

Real Estate Market of Ukraine

$49.99
Geometrical Foundations of Continuum Mechanics

Geometrical Foundations of Continuum Mechanics

$199.99
previous
next