Status der Bestellung anzeigen

Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen

Kostenloser Versand mit Zásilkovna ab 69.99 €

Österreichische Post 5.49 € GLS-Kurier 4.99 € GLS-Kurier 4.99 € DPD-Kurier 3.99 € DPD-Stelle 2.99 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Concurrency, Specification and Programming

Name: Concurrency, Specification and Programming
Brand: Springer Nature B.V.
SKU: 43418029
Price: 61.89 EUR
Availability: InStock
Author: Bernd-Holger Schlingloff
ISBN: 9783031266522

Revised Selected Papers from the 29th International Workshop on Concurrency, Specification and Programming (CS&P'21), Berlin, Germany

Bernd-Holger Schlingloff

Thomas Vogel

Andrzej Skowron

Sprache

Englisch

Buch Broschur

Libristo-Code: 43418029

Verlag Springer Nature B.V., Juni 2023

This book presents novel approaches to the formal specification of concurrent and parallel systems,... Vollständige Beschreibung

Libristo-Code: 43418029

151 b

61.89 € inkl. MwSt.

Externes Lager Wir versenden in 10-18 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Wonder Woman, 1 DVD Martin Walsh

DVD

13.59 €

BABADADA, Bulgarian (in cyrillic script) - Azərbaycan dili, visual dictionary (in cyrillic script) - şəkilli luğət Babadada Gmbh

Broschur

29.49 €

Resiliencia contra el desaliento Elba Aurora Castro Rosales

Adobe ePub DRM

9.09 €

This book presents novel approaches to the formal specification of concurrent and parallel systems, mathematical models for describing such systems, and programming and verification concepts for their implementation. A special emphasis is on methods based on artificial intelligence and machine learning techniques.

Chapters are revised selected papers from the 29th International Workshop on Concurrency, Specification, and Programming (CS&P 2021), Berlin, Germany. Nine independent chapters cover formal approaches to topics such as requirements formalization, parsing, or granular computing, as well as their applications in recommender systems, decision making, security, optimization, and other areas. The book thus addresses both researchers and practitioners in its field.

Schauspielerin & Polyglotte

EWA KASP für

Video abspielen

Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

Informationen zum Buch

Vollständiger Name Concurrency, Specification and Programming

Autor Bernd-Holger Schlingloff, Thomas Vogel, Andrzej Skowron

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 2023

Anzahl der Seiten 244

EAN 9783031266522

Libristo-Code 43418029

Verlag Springer Nature B.V.

Gewicht 349

Abmessungen 156 x 234

Kategorie

Technologie, Ingenieurswissenschaft, Landwirtschaft, Industrieprozesse > Technologie, allgemein > Ingenieurswesen, Maschinenbau allgemein

Verschenken Sie dieses Buch noch heute

Es ist ganz einfach

1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert