Home/Producten/Formal Methods: 22nd International Symposium, FM 2018, Held as Part of…

Beschrijving

Over dit product

This book constitutes the refereed proceedings of the 22nd International Symposium on Formal Methods, FM 2018, held in Oxford, UK, in July 2018.
The 44 full papers presented together with 2 invited papers were carefully reviewed and selected from 110 submissions. This book constitutes the refereed proceedings of the 22nd International Symposium on Formal Methods, FM 2018, held in Oxford, UK, in July 2018.
The 44 full papers presented together with 2 invited papers were carefully reviewed and selected from 110 submissions. They present formal methods for developing and evaluating systems. Examples include autonomous systems, robots, and cyber-physical systems in general. The papers cover a broad range of topics in the following areas: interdisciplinary formal methods; formal methods in practice; tools for formal methods; role of formal methods in software systems engineering; and theoretical foundations.

Boekdetails

Serie
Lecture Notes in Computer Science
Ondertitel
Lecture Notes in Computer Science
Formaat
Paperback / softback
Uitgever
Springer International Publishing AG
Imprint
Springer International Publishing AG
Auteur
Klaus Havelund || Jan Peleska || Bill Roscoe || Erik de Vink, Springer International Publishing AG, Springer International Publishing AG
ISBN-13
9783319955810
Verschijningsdatum
2018-07-12
Editie
2018 ed.
Afmetingen
155 mm × 235 mm
Land van herkomst
NL

Paperback / softback

Formal Methods: 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings

door Klaus Havelund || Jan Peleska || Bill Roscoe || Erik de Vink

€ 127,66
Op voorraad14 werkdagen
Gratis verzending30 dagen bedenktijd
1

Gratis verzending

vanaf €20

30 dagen retour

zonder gedoe

Veilig betalen via iDEAL of Klarna

iDEAL · Klarna

Thuiswinkel Waarborg

Waarom je dit mooi vindt

  • Premium kwaliteit, zorgvuldig geselecteerd
  • Snelle levering, morgen in huis
  • Eenvoudig retourneren binnen 30 dagen
  • Veilig betalen via iDEAL of Klarna

MYBOEKEN

  • Algemene voorwaarden
  • Bedrijfsgegevens
  • Over Myboeken
  • Keurmerk
  • Klantenservice
  • Contact
  • Privacy
  • Gids
  • Volg bestelling

INFORMATIE

  • Bestellen
  • Bezorgen
  • Betalen
  • Retour
  • Veelgestelde vragen
  • Garantie & Klachten
  • Zakelijke bestellingen
  • Blogs

CONTACT

Effect 4, 6921 RV Duiven
026-2074646
10:00 – 16:00
[email protected]
0638045945

Nieuwsbrief

Ontvang de beste aanbiedingen en tips

PAYMENT

Bancontact
Direct bank
iDEAL
Klarna
PayPal
SOFORT
Visa

VOLG ONS

Strips & MangaKunst & fotografieKinderboekenStudie & WetenschapLevensstijlOverige
Thuiswinkel Waarborg
myboeken.nl

Myboeken is dé online boekwinkel voor zorgvuldig geselecteerde boeken. Snelle levering in Nederland & Europa.

PrivacyAlgemene Voorwaarden
© 2026 MYBOEKEN
myboeken.nl
BestsellersOfferteAanbiedingen
0
CategorieënBestsellersOfferteAanbiedingen

Populaire zoekopdrachten

Berserk Deluxe Volume 1

Berserk Deluxe Volume 1

9781506711980

Throne of Glass Box Set (Paperback): The complete series in paperback from the author of ACOTAR

Throne of Glass Box Set (Paperback): The complete series in paperback from the author of ACOTAR

9781526650535

The Hobbit and the Lord of the Rings

The Hobbit and the Lord of the Rings

9780544445789

Snel naar

Nieuwe releasestrending-on-tiktokCadeau-ideeën

Trending now

Berserk Deluxe Volume 1

Berserk Deluxe Volume 1

Kentaro Miura

Mistborn Trilogy Boxed Set: Mistborn, The Well of Ascension, The Hero of Ages

Mistborn Trilogy Boxed Set: Mistborn, The Well of Ascension, The Hero of Ages

Brandon Sanderson

The Lord of the Rings Deluxe Illustrated by the Author: Special Edition

The Lord of the Rings Deluxe Illustrated by the Author: Special Edition

J R R Tolkien

Vagabond (VIZBIG Edition), Vol. 2: Enlightenment: Volume 2

Vagabond (VIZBIG Edition), Vol. 2: Enlightenment: Volume 2

Takehiko Inoue

0
Home
0
Cart

Aanbevolen

Misschien vind je dit ook leuk

Bekijk meer
Berserk Deluxe Volume 1

Kentaro Miura

Berserk Deluxe Volume 1

€ 44,10

Throne of Glass Box Set (Paperback): The complete series in paperback from the author of ACOTAR

Sarah J. Maas

Throne of Glass Box Set (Paperback): The complete series in paperback from the author of ACOTAR

€ 72,00

The Hobbit and the Lord of the Rings

J. R. R. Tolkien

The Hobbit and the Lord of the Rings

€ 49,50

Invincible Compendium Volume 1

Robert Kirkman || Cory Walker || Ryan Ottley

Invincible Compendium Volume 1

€ 56,70

The Lord of the Rings Deluxe Illustrated by the Author: Special Edition

J R R Tolkien

The Lord of the Rings Deluxe Illustrated by the Author: Special Edition

€ 160,20

Vagabond (VIZBIG Edition), Vol. 3: One With Heaven and Earth: Volume 3

Takehiko Inoue

Vagabond (VIZBIG Edition), Vol. 3: One With Heaven and Earth: Volume 3

€ 23,40

Vagabond (VIZBIG Edition), Vol. 7: Volume 7

Takehiko Inoue

Vagabond (VIZBIG Edition), Vol. 7: Volume 7

€ 23,40

The Six of Crows Duology Boxed Set: Six of Crows and Crooked Kingdom

Leigh Bardugo

The Six of Crows Duology Boxed Set: Six of Crows and Crooked Kingdom

€ 36,00

Finale: A Caraval Novel

Stephanie Garber

Finale: A Caraval Novel

€ 18,00

The First Law Trilogy

Joe Abercrombie

The First Law Trilogy

€ 53,10

Serie & gerelateerd

Meer over Lecture

Bekijk meer
The Last Lecture

Randy Pausch (Carnegie Mellon University) || Jeffrey Zaslow

The Last Lecture

€ 20,70

A Lecture To Young Men On The Preservation Of Health, By A Graduate

Lecture

A Lecture To Young Men On The Preservation Of Health, By A Graduate

€ 26,71

Darwin or Design? What Biology Reveals About the Secrets of Life: Intelligent Design Introductory Guide

Scott S Chandler

Darwin or Design? What Biology Reveals About the Secrets of Life: Intelligent Design Introductory Guide

€ 22,87

Prohibition Bombs V1, January, 1886 to April, 1886: Tracts for the Times (1886)

Lecture Bureau Prohibition Lecture Bureau

Prohibition Bombs V1, January, 1886 to April, 1886: Tracts for the Times (1886)

€ 45,17

Carnet De Lecture: Mes Lectures Parfait cadeau pour les lecteurs et lectrices Format (15.24 x 22.86 cm),130 Pages.

Carnet Lecture

Carnet De Lecture: Mes Lectures Parfait cadeau pour les lecteurs et lectrices Format (15.24 x 22.86 cm),130 Pages.

€ 18,00

carnet de mes lectures: Carnet de suivi de lectures dédié aux passionné(e)s de livres

Livres Lecture

carnet de mes lectures: Carnet de suivi de lectures dédié aux passionné(e)s de livres

€ 18,00

Mon carnet de lecture: Mes lectures 100 Fiches de lecture à compléter 130 Pages.

Cadeau Lecture

Mon carnet de lecture: Mes lectures 100 Fiches de lecture à compléter 130 Pages.

€ 18,00

Mon Carnet De Lecture: Mes livres 100 Fiches de lecture à remplir Idéal cadeau pour les lecteurs et lectrices 130 Pages.

Cadeau Lecture

Mon Carnet De Lecture: Mes livres 100 Fiches de lecture à remplir Idéal cadeau pour les lecteurs et lectrices 130 Pages.

€ 18,00

Comment maîtriser ses émotions pour les enfants: 40 histoires originales pour aider les enfants à gérer leurs émotions

P'Tite Lecture

Comment maîtriser ses émotions pour les enfants: 40 histoires originales pour aider les enfants à gérer leurs émotions

€ 22,44

Comment se Faire des Amis pour les Enfants: 40 histoires originales pour explorer l'art de nouer des amitiés durables et sincères

P'Tite Lecture

Comment se Faire des Amis pour les Enfants: 40 histoires originales pour explorer l'art de nouer des amitiés durables et sincères

€ 24,12