Gratis verzending vanaf 59,99 euro.

Status van bestelling controleren

Word lid van een gemeenschap van boekenliefhebbers van over de hele wereld en krijg een heleboel voordelen. Gratis account aanmaken

Gratis bezorging met Zásilkovna boven 59.99 €

DPD koerier 5.49 € DHL koeriersdienst 5.49 € GLS koerier 4.99 € DPD-punt 3.99 €

Contact

Hoe winkelen bij ons werkt

Help

Mijn account

▸ Leeg :-(

Gratis verzending vanaf 59,99 euro.

Formal Methods for an Informal World

Name: Formal Methods for an Informal World
Brand: Springer, Berlin
SKU: 43858703
Price: 50.72 EUR
Availability: InStock
Author: Antonio Cerone
ISBN: 9783031436772

ICTAC 2021 Summer School, Virtual Event, Astana, Kazakhstan, September 1-7, 2021, Tutorial Lectures

Antonio Cerone

Taal

Engels

Boek Gebonden (paperback)

Libristo-code: 43858703

Uitgeverij Springer, Berlin, februari 2024

This volume includes six lectures given at the ICTAC (International Colloquium on Theoretical Aspect... Volledige beschrijving

Libristo-code: 43858703

122 b

50.72 €

In extern magazijn Wordt binnen 5-8 dagen verzonden

Tot 30 dagen retourrecht

Klanten kochten ook

Die Auswirkungen der demographischen Entwicklung auf die Krankenhausverweildauer in Deutschland. Uwe Lebok

Gebonden (paperback)

122.44 €

Quaker in den USA Mareike Jacob

Gebonden (paperback)

17.13 €

Pfaffenspiegel (Großdruck): Historische Denkmale des christlichen Fanatismus Otto Von Corvin

Gebonden (paperback)

19.27 €

La Légende de Quisqueya I Margaret Papillon

Gebonden (paperback)

12.16 €

Journal Des Journaux de La Commune: Tableau Resume de La Presse Quotidienne Du 19 Mars Au 24 Mai, 1871. Lois, Decrets, Proclamations, Rapports Et Info Commune De Paris

Gebonden (paperback)

31.74 €

Brève histoire des origines de l'humanité Balzeau

Gebonden (paperback)

13.99 €

This volume includes six lectures given at the ICTAC (International Colloquium on Theoretical Aspects of Computing) School on Formal Methods for an Informal World, held on September 1-7, 2021, originally scheduled to take place in Astana but held in virtual mode due to the pandemic.The school addressed the use of formal methods at various levels of rigour in different application domains: human-computer interaction, cognitive science, business process management, robotics, and healthcare. The emphasis of the school was on practical applications in which formal methods provide unambiguous descriptions of the real world that facilitate understanding and formal and informal analysis. The target audience consists of graduate students, young researchers and industrial practitioners, from both computer science and other fields that make use of computational methods.

Actrice & Polyglot

EWA KASP voor

Video afspelen

Libristo heeft de grootste selectie boeken in vreemde talen. Daarom koop ik mijn boeken hier.

Informatie over het boek

Volledige naam Formal Methods for an Informal World

Auteur Antonio Cerone

Taal

Engels

Bindwijze Boek - Gebonden (paperback)

Datum van uitgifte 2024

Aantal pagina's 184

EAN 9783031436772

Libristo-code 43858703

Uitgeverij Springer, Berlin

Gewicht 267

Afmetingen 155 x 235

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