Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Zistiť stav objednávky

Staňte sa súčasťou komunity milovníkov kníh z celého sveta a získajte hromadu výhod. Založiť účet zdarma

Doprava zadarmo s Packetou nad 59.99 €

Kuriér DPD 2.99 € Kuriér GLS 3.99 € Zberné miesto GLS 2.49 € SPS 3.99 € SPS Parcel Shop 2.99 € Packeta kurýr 3.99 € Slovenská pošta 3.99 € Zberné miesto DPD 2.99 € Packeta 2.99 €

Kontakt

Ako nakupovať

Pomoc

Môj účet

▸ Prázdny :-(

Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Model Checking Software

Name: Model Checking Software
Brand: Springer, Berlin
SKU: 43189759
Price: 56.82 EUR
Availability: InStock
Author: Georgiana Caltais
ISBN: 9783031321566

29th International Symposium, SPIN 2023, Paris, France, April 26-27, 2023, Proceedings

Georgiana Caltais

Christian Schilling

Jazyk

Angličtina

Kniha Brožovaná

Libristo kód: 43189759

Nakladateľstvo Springer, Berlin, jún 2023

This book constitutes the refereed proceedings of the 29th International Symposium on Model Checking... Celý popis

Libristo kód: 43189759

137 b

56.82 €

Skladom u dodávateľa Odosielame za 5-8 dní

Až 30 dní na vrátenie tovaru

Zákazníci tiež kúpili

Diálogos sobre pastoral con jóvenes Equipo de reflexión «Diálogos en Pastoral Juvenil»

Brožovaná

17.52 €

Wie funktioniert Foodsharing? Ressourcennutzung und der Kampf gegen Lebensmittelverschwendung Sina Kreißig

Brožovaná

16.20 €

This book constitutes the refereed proceedings of the 29th International Symposium on Model Checking Software, SPIN 2023, held in Paris, France, during April 26-27, 2023. The 9 full papers and 2 short papers included in this book were carefully reviewed and selected from 21 submissions. They were organized in topical sections as follows: binary decision diagrams, concurrency, testing, synthesis, explicit-state model checking.

Herečka & Polyglotka

EWA KASP pre

Prehrať video

Libristo má najväčší výber cudzojazyčnej literatúry. Preto si knihy kupujem tu.

Informácie o knihe

Celý názov Model Checking Software

Autor Georgiana Caltais, Christian Schilling

Jazyk

Angličtina

Väzba Kniha - Brožovaná

Dátum vydania 2023

Počet strán 190

EAN 9783031321566

Libristo kód 43189759

Nakladateľstvo Springer, Berlin

Váha 304

Rozmery 155 x 235

Kategórie

Technológie, strojárstvo, poľnohospodárstvo > Elektronické a komunikačné inžinierstvo > Elektrotechnické inžinierstvo > Automatická kontrola v inžinierstve