Status van bestelling controleren
LIBRISTO
LIBROAMANTO
verplicht
Wachtwoord vergeten
Word lid van een gemeenschap van boekenliefhebbers van over de hele wereld en krijg een heleboel voordelen. Gratis account aanmaken
0
Gratis bezorging met Zásilkovna boven 59.99 €
DPD koerier 5.49 € DHL koeriersdienst 5.49 € GLS koerier 4.99 € DPD-punt 3.99 €
phone Contact phoneHoe winkelen bij ons werkt
Gratis verzending vanaf 59,99 euro.

Formal Methods: Foundations and Applications

25th Brazilian Symposium, SBMF 2022, Virtual Event, December 6-9, 2022, Proceedings

Taal EngelsEngels
Boek Gebonden (paperback)
Boek Formal Methods: Foundations and Applications Lucas Lima
Libristo-code: 42074879
Uitgeverij Springer, Berlin, november 2021
This book constitutes the refereed proceedings of the 25th Brazilian Symposium on Formal Methods, SB... Volledige beschrijving
? points 137 b
56.66 €
In extern magazijn Wordt binnen 5-8 dagen verzonden

Tot 30 dagen retourrecht

Klanten kochten ook

El mapa de tu talento Ruiz Bachs / Boek Gebonden (paperback)
common.buy 22.01 €
A siker kézikönyve Robin Sharma / Boek Gebonden (harde band)
common.buy 13.32 €
Amanda and the Lost Time (Punjabi Book for Kids- Gurmukhi) Kidkiddos Books / Boek Gebonden (paperback)
common.buy 16.56 €
Samolepková knížka Dobrodružství s Peppou / Boek Boek
common.buy 5.14 €
Dessiner tout de suite et facilement : Le corps humain / Boek Gebonden (paperback)
common.buy 22.52 €
Ozeane Hél?ne Druvert / Boek Gebonden (harde band)
common.buy 30.60 €
Pharmacopee Des Pauvres Ou Formules Des Medicaments Usuels Dans Le Traitement Des Maladies Du Peuple Jadelot-N / Boek Gebonden (paperback)
common.buy 20.39 €
Zonificacion de Amenaza Por Movimientos En Masa Henry Antonio Pacheco Gil / Boek Gebonden (paperback)
common.buy 79.08 €
Persönlichkeitsentwicklung und Identitätsbildung von Zweisprachigen Karoline Gawrzynski / Boek Gebonden (paperback)
common.buy 72.31 €
Morový stĺp sv. Trojice v Kremnici Daniela Bednářová / Boek Gebonden (paperback)
common.buy 12.62 €
Berufswirklichkeit, Berufserziehung Und Facharbeiterausbildung in Der Industrie Und Speziell in Den Eisenverarbeitenden Industriezweigen Joseph Mathieu / Boek Gebonden (paperback)
common.buy 53.02 €

This book constitutes the refereed proceedings of the 25th Brazilian Symposium on Formal Methods, SBMF 2022, which was held virtually in December 2022. The 8 regular papers presented in this book were carefully reviewed and selected from 15 submissions. The symposium focuses on the development, dissemination, and use of formal methods for the constructionof high-quality computational systems, aiming to promote opportunities for researchers and practitioners with an interest in formal methods to discuss the recent advances in this area.

Actrice & Polyglot
EWA KASP voor
Video afspelen
Ewa Kasp
Libristo heeft de grootste selectie boeken in vreemde talen. Daarom koop ik mijn boeken hier.

Informatie over het boek

Volledige naam Formal Methods: Foundations and Applications
Auteur Lucas Lima, Vince Molnár
Taal Engels
Bindwijze Boek - Gebonden (paperback)
Datum van uitgifte 2022
Aantal pagina's 143
EAN 9783031224751
Libristo-code 42074879
Uitgeverij Springer, Berlin
Gewicht 240
Afmetingen 155 x 235 x 10

Categorieën

Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Softwareontwikkeling
Geef dit boek vandaag nog cadeau
Dat gaat heel eenvoudig
1 Voeg het boek toe aan je winkelwagentje en selecteer Als cadeau bezorgen 2 Je krijgt van ons per omgaand een voucher 3 Het boek wordt bezorgd op het adres van de ontvanger

Dit vind je misschien ook interessant

Formal Methods for Open Object-Based Distributed Systems Martin Steffen / Boek Gebonden (paperback)
common.buy 51.61 €
Yellow Perils Ross Anthony / Boek Gebonden (paperback)
common.buy 32.41 €
Jeli: Condo For Sale. Dead man not included! MS Mary Jane Forbes / Boek Gebonden (paperback)
common.buy 10.29 €
HOW TO LOSE WEIGHT FAST depending on the secrets of Nature Atheer Jasim Mohammed / Boek Gebonden (paperback)
common.buy 32.01 €
Behind A Mask; Or, A Woman's Power Louisa May Alcott / Boek Gebonden (paperback)
common.buy 13.02 €
Connexion Between Ancient and Modern Romanc William John Courthope / Boek Gebonden (harde band)
common.buy 26.86 €
Sacred Art of Lovingkindness Rami M. Shapiro / Boek Gebonden (harde band)
common.buy 20.90 €
Ritual Dynamics and the Science of Ritual Axel Michaels / Boek Gebonden (harde band)
common.buy 158.48 €
Among the Nootka Gerald Stanley / Boek Gebonden (paperback)
common.buy 10.60 €
Intelligent Information Processing II Qing He / Boek Gebonden (paperback)
common.buy 154.13 €
Various tracts concerning the peerage of Scotland, collected from the public records, original instruments, and authentic manuscripts; to which is ann James Carmichael / Boek Gebonden (paperback)
common.buy 17.77 €
Social Change in Tikopia Raymond Firth / Boek Gebonden (harde band)
common.buy 335.95 €
Airways Smooth Muscle: Modelling the Asthmatic Response In Vivo Mark A. Giembycz / Boek Gebonden (paperback)
common.buy 51.61 €
How to Thrive in the Digital Age Tom Chatfield / Boek Gebonden (paperback)
common.buy 15.55 €
My Weirdtastic School #1: Miss Banks Pulls Lots of Pranks! Jim Paillot / Boek Gebonden (paperback)
common.buy 6.25 €
Logical Foundations of Mathematics and Computational Complexity Pavel Pudlák / Boek Gebonden (harde band)
common.buy 184.84 €

Inloggen

Log in op je account. Heb je nog geen Libristo-account? Maak nu een account aan!

 
verplicht
verplicht
Wachtwoord vergeten

Heb je geen account? Profiteer van de voordelen van een Libristo-account!

Met een Libristo-account heb je alles onder controle.

Een Libristo-account aanmaken
Boekadviseur Libroamiko
Hoi, ik ben Libroamiko, kan ik helpen?