Software Engineering and Formal Methods -

Format: Broché

Voir le descriptif

Note : 0

0 avis

Soyez le premier à donner un avis

Vous en avez un à vendre ?

Vendez-le-vôtre

Filtrer par :

90,46 €

Produit Neuf

Ou 22,62 € /mois

Livraison : 3,99 €
Livré entre le 22 et le 28 juillet

Voir les modes de livraison

M_plus_L

PRO Vendeur favori

4,8/5 sur + de 1 000 ventes

Voir le détail de l'annonce

Nos autres offres

97,92 €

Produit Neuf

Ou 24,48 € /mois

En savoir plus
- Livraison à 0,01 €
- Livré entre le 22 juillet et le 4 août
Voir les modes de livraison
RiaChristie

PRO

4,9/5 sur + de 1 000 ventes

Contacter le vendeur

Afficher la description de l'annonce

Brand new, In English, Fast shipping from London, UK; Tout neuf, en anglais, expédition rapide depuis Londres, Royaume-Uni;ria9783030587673_dbm

Voir le détail de l'annonce

Vous avez choisi le retrait chez le vendeur à

Payez directement sur Rakuten (CB, PayPal, 4xCB...)
Récupérez le produit directement chez le vendeur
Rakuten vous rembourse en cas de problème

Terminer ma commande

Gratuit et sans engagement

Félicitations !

Nous sommes heureux de vous compter parmi nos membres du Club Rakuten !

TROUVER UN MAGASIN

Adresse

Retour

Horaires

Note :

Avis sur Software Engineering And Formal Methods de Format Broché - Livre Informatique

Note : 0 0 avis sur Software Engineering And Formal Methods de Format Broché - Livre Informatique

Donnez votre avis

Donnez votre avis sur ce produit

Votre note * : 1/5 2/5 3/5 4/5 5/5 Veuillez donner une note au produit

Le titre de votre avis* : Saisissez un titre

Quelques conseils :

Donnez le ton de votre avis, résumez-le en quelques mots qui apparaîtront comme le titre de votre avis.

Votre avis* : (40 caractères minimum) Saisissez un avis

Quelques conseils :

N'hésitez pas à mettre en avant les caractéristiques de ce produit, n'oubliez pas de mentionner ses avantages et/ou ses défauts éventuels. Décrivez précisément, argumentez, soyez convaincant !

Annuler

Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.

Produits similaires

Présentation Software Engineering And Formal Methods de Format Broché
- Livre Informatique

Livre Informatique - 01/09/2020 - Broché - Langue : Anglais

Editeur : Springer International Publishing Ag

Langue : Anglais

Parution : 01/09/2020

Format : Moyen, de 350g à 1kg

Nombre de pages : 340

Expédition : 517

Dimensions : 23.5 x 15.5 x 1.9

ISBN : 3030587673

Résumé :
This book constitutes the refereed proceedings of the 18th International Conference on Software Engineering and Formal Methods, SEFM 2020, held in Amsterdam, The Netherlands, in September 2020. The 16 full papers presented together with 1 keynote talk and an abstract of a keynote talk were carefully reviewed and selected from 58 submissions. The papers cover a large variety of topics, including testing, formal verification, program analysis, runtime verification, meta-programming and software development and evolution. The papers address a wide range of systems, such as IoT systems, human-robot interaction in healthcare scenarios, navigation of maritime autonomous systems, and operating systems.

The Chapters Multi-Purpose Syntax Definition with SDF3, FRed: Conditional Model Checking via Reducers and Folders and Difference Verification with Conditions are available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.

...

Sommaire:
Testing.- Formal verification.- Program analysis.- Runtime verification.- Meta-programming and software development.- Evolution....

Détails de conformité du produit

Consulter les détails de conformité de ce produit (

Personne responsable dans l'UE

)

Software Engineering and Formal Methods -

Avis sur Software Engineering And Formal Methods de Format Broché - Livre Informatique

Présentation Software Engineering And Formal Methods de Format Broché - Livre Informatique

Présentation Software Engineering And Formal Methods de Format Broché
- Livre Informatique