Vérifier l'état de la commande
LIBRISTO
LIBROAMANTO
Obligatoire
Mot de passe oublié
Accédez à une communauté d'amateurs de livres à travers le monde et bénéficiez d’une panoplie d'avantages. Créer un compte gratuitement
0
Livraison gratuite avec Zásilkovna à partir de 69.99 €
Coursier DPD 5.99 € Point Bpost 7.99 € Bpost 7.49 € Point DPD 3.49 € Service de messagerie GLS 4.99 €
phone Contact phoneComment faire ses achats
Livraison gratuite à partir de 69.99 euros.

Formal Methods

25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, Proceedings

Langue AnglaisAnglais
Livre Livre de poche
Livre Formal Methods Marsha Chechik
Code Libristo: 42849724
Éditeurs Springer, Berlin, avril 2023
This book constitutes the refereed proceedings of the 25th International Symposium on Formal Methods... Description détaillée
? points 249 b
103.16 €
Stockage externe Expédition sous 5-8 jours

Jusqu'à 30 jours pour les retours

Les clients ont également acheté

Locke & Key Joe Hill / Livre Livre relié
common.buy 38.70 €
Уголовный кодекс Российской Федерации. Редакция 2026. Young adult / Livre Livre de poche
common.buy 8.00 €
Moins un Joanniez / Livre Livre de poche
common.buy 11.34 €
Yoga, Sex and Happiness Carolin-Marie Roth / Livre Livre de poche
common.buy 23.70 €
Большая книга приключений Конни. Путешествия Лиана Шнайдер / Livre Livre relié
common.buy 17.83 €
Littér'allemand ! Commentaire littéraire, thème et version (B2-C1) Lambert / Livre Livre de poche
common.buy 36.17 €
Briefe, die neueste Litteratur betreffend, Teil 15, Briefe, die neueste Litteratur betreffend Teil 15 Moses Mendelssohn / Livre Livre relié
common.buy 119.38 €
Lombardia slow foot. Montagna per tutte le gambe. Provincia di Pavia e Varese Giuseppe Miotti / Livre Livre
common.buy 7.79 €
I love Kawaii. El arte japonés de para dibujar cosas dulces Nguyen / Livre Livre de poche
common.buy 14.99 €
Bonjour Pansori Han / Livre Livre de poche
common.buy 31.00 €
PC-7M popisovač Posca, 4,5-5,5 mm, černý (24) / Articles de papeterie Articles de papeterie
common.buy 4.25 €
Trace et disparition Brocchini / Livre Livre de poche
common.buy 18.94 €
Basics Schallschutz Dominic Kampshoff / Livre Livre de poche
common.buy 23.50 €
Štedrovečerné rozprávky Miklós Malvina / Livre Livre relié
common.buy 5.77 €
These: Des Privileges Sur Les Meubles Flachat-A / Livre Livre de poche
common.buy 16.81 €
Cadena de oro Kolton / Livre Livre de poche
common.buy 9.01 €
Jerusalem, Jerusalem Berengar Pfahl / Video DVD
common.buy 17.93 €
La Ligue de Salut La Gervaisais-N-L-M / Livre Livre de poche
common.buy 13.16 €

This book constitutes the refereed proceedings of the 25th International Symposium on Formal Methods, FM 2023, which took place in Lübeck, Germany, in March 2023. The 26 full paper, 2 short papers included in this book were carefully reviewed and selected rom 95 submissions. They have been organized in topical sections as follows: SAT/SMT; Verification; Quantitative Verification; Concurrency and Memory Models; Formal Methods in AI; Safety and Reliability. The proceedings also contain 3 keynote talks and 7 papers from the industry day. 

Actrice & Polyglotte
EWA KASP pro
Regarder la vidéo
Ewa Kasp
Libristo propose la plus grande sélection littéraire en langues étrangères. N’hésitez plus et venez y acheter vos livres.

À propos du livre

Nom complet Formal Methods
Auteur Marsha Chechik, Joost-Pieter Katoen, Martin Leucker
Langue Anglais
Reliure Livre - Livre de poche
Date de parution 2023
Nombre de pages 676
EAN 9783031274800
Code Libristo 42849724
Éditeurs Springer, Berlin
Poids 929
Dimensions 155 x 235

Catégories

Informatique et technologies de l’information > Programmation informatique / génie logiciel > Génie logiciel
Offrez ce livre dès aujourd'hui
C’est simple
1 Ajouter au panier et choisir l'option Livrer comme cadeau à la caisse. 2 Nous vous enverrons un bon d'achat 3 Le livre arrivera à l'adresse du destinataire

Ceci pourrait également vous intéresser

Fairground Attraction: A debut poetry collection Sally Anne Nash / Livre Livre de poche
common.buy 9.41 €
Top
One For All Lillie Lainoff / Livre Livre de poche
common.buy 11.14 €
Holy Ghost Tales: Vol 1 Jonathan Harris / Livre Livre de poche
common.buy 15.80 €
Quaking of America Resmaa Menakem / Livre Livre de poche
common.buy 14.99 €
The Last Exchange Martin / Livre Livre relié
common.buy 24.72 €
Die Closer To Me David Kuhnlein / Livre Livre de poche
common.buy 15.80 €
Bimladadi's Dream Aurobindo Ghosh / Livre Livre de poche
common.buy 9.52 €
Leatherface Baroness Orczy / Livre Livre de poche
common.buy 33.03 €
Accidental Christian SHARON LEE FOLEY / Livre Livre relié
common.buy 23.91 €
Journals of the Common Council, Board of Aldermen, and the Joint Conventions of Said Bodies, for the Year 1885. John L McMaster / Livre Livre de poche
common.buy 23.81 €
Top
The Blades Carry Me: Inside the Helicopter War in Vietnam James V Weatherill / Livre Livre de poche
common.buy 15.80 €
The Cohort Nathaniel Sizemore / Livre Livre de poche
common.buy 22.18 €
A History Of The Great Massacre By The Sioux Indians, In Minnesota Charles S. Bryant / Livre Livre relié
common.buy 54.41 €
Semiotics of Religion Robert A Yelle / Livre Livre relié
common.buy 249.40 €
Abordable
Life in Half a Second Matthew Michalewicz / Livre Livre de poche
common.buy 15.50 €
Taste Your Emotions Damien Marie Athope / Livre Livre de poche
common.buy 11.34 €
Screen Acting Peter Kramer / Livre Livre de poche
common.buy 63.94 €
Integrity in Depth John Beebe / Livre Livre de poche
common.buy 17.93 €
Linear Algebra: Examples And Applications Alain M. Robert / Livre Livre relié
common.buy 126.27 €

Connexion

Connectez-vous à votre compte. Vous n'avez pas encore de compte Libristo ? Créez-en un maintenant !

 
Obligatoire
Obligatoire
Mot de passe oublié

Vous n'avez pas encore de compte ? Découvrez les avantages d’avoir un compte Libristo !

Avec un compte Libristo, vous aurez tout sous contrôle.

Créer un compte Libristo
Conseiller littéraire Libroamiko
Bonjour, je suis Libroamiko, puis-je vous aider ?