Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Zjistit stav objednávky

Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod. Založit účet zdarma

Doprava zdarma se Zásilkovnou nad 1 499 Kč

Kurýr DPD 69 Kč Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Zásilkovna 39 Kč Výdejní místo DPD 49 Kč PPL shop 49 Kč Balíkovna 49 Kč

Kontakt

Jak nakupovat

Pomoc

Můj účet

▸ Prázdný

Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Runtime Verification

Name: Runtime Verification
Brand: Springer-Verlag GmbH
SKU: 49425797
Price: 1557 CZK
Availability: InStock
Author: Bettina Könighofer
ISBN: 9783032054340

Bettina Könighofer

Jazyk

Angličtina

Kniha Brožovaná

Libristo kód: 49425797

Nakladatelství Springer-Verlag GmbH, říjen 2025

This book constitutes the refereed proceedings of the 25th International Conference on Runtime Verif... Celý popis

Libristo kód: 49425797

156 b

1 557 Kč

Skladem u dodavatele Odesíláme za 5-8 dnů

Až 30 dní na vrácení zboží

Zákazníci také koupili

PREGHIERE PER L'ANIMA Vol. 1 Anton Styger

Brožovaná

488 Kč

Saint Louis VIAL-ANDRU

Brožovaná

220 Kč

Pucking wild (poche) - Tome 2 Les Rays de Jacksonville Emily Rath

Brožovaná

281 Kč

Versuch Einer Anleitung Zu Anlegung Eines Gartens Im Englischen Geschmack Johann G. Schoch

Pevná

685 Kč

Serve meno Europa? Domande radicali sull'Unione europea

Brožovaná

623 Kč

Maison Rustique Du Xixe Si?cle: Agriculture Proprement Dite. 1835. Cultures Industrielles Et Animaux Domestiques. 1837... Alexandre Bixio

Brožovaná

685 Kč

Pasion renovada Maggie Cox

Adobe ePub DRM

80 Kč

Pennsylvania Pere Ubu

Audio CD

246 Kč

Comentarios de D. García de Silva y Figueroa en la embajada que de parte del Rey de España Don Felip Serrano y Sanz

Pevná

1 674 Kč

L'ontophylogenèse Kupiec

Brožovaná

261 Kč

Indications Therapeutiques, Eaux Minero-Thermales, Lacoste-C

Brožovaná

336 Kč

Renesans Jerzy Ziomek

Brožovaná

527 Kč

Small Claims und effektiver Rechtsschutz. Enno Engbers

Brožovaná

2 305 Kč

Währungsreform und Soziale Marktwirtschaft. Wolfram Fischer

Pevná

4 082 Kč

This book constitutes the refereed proceedings of the 25th International Conference on Runtime Verification, RV 2025, held in Graz, Austria, during September 15 19, 2025.

The 22 regular papers, 1 short paper, 2 tool papers, and 1 tutorial paper included in this book were carefully reviewed and selected from 64 submissions.

The RV conference focuses on all aspects of formal methods for monitoring, analyzing, and guiding the runtime behavior of software and hardware systems. Runtime verification techniques are essential for ensuring system correctness, reliability, and robustness. They offer an additional layer of rigor and effectiveness beyond conventional testing and are often more practical than exhaustive formal verification.

Herečka & Polyglotka

EWA KASP pro

Přehrát video

Libristo má největší výběr cizojazyčné literatury. Proto své knihy kupuji tady.

Informace o knize

Plný název Runtime Verification

Autor Bettina Könighofer

Jazyk

Angličtina

Vazba Kniha - Brožovaná

Datum vydání 2025

Počet stran 510

EAN 9783032054340

ISBN 3032054346

Libristo kód 49425797

Nakladatelství Springer-Verlag GmbH

Váha 803

Kategorie

Výpočetní a informační technologie > Informatika > Teorie algoritmů

Darujte tuto knihu ještě dnes

Je to snadné

1 Přidejte knihu do košíku a zvolte doručit jako dárek 2 Obratem vám zašleme poukaz 3 Kniha dorazí na adresu obdarovaného

Mohlo by vás také zajímat

Public and Parlor Readings. Prose and Poetry for the Use of Reading Clubs, and for Public, Social, and School Entertainment. Dialogues and Dramas Lewis Baxter Monroe

Pevná

1 620 Kč