Menu
Zjistit stav objednávky
Kontaktujte nás
Kniha Integrated Formal Methods Nikolai Kosmatov

Integrated Formal Methods

19th International Conference, IFM 2024, Manchester, UK, November 13-15, 2024, Proceedings

Autor: Nikolai Kosmatov, Laura Kovács
Jazyk: Angličtina
Vazba: Brožovaná
Vydavatel: Springer, Berlin
Dostupnost: Skladem u dodavatele
Odesíláme za 5-8 dnů
3 198 Kč
This volume LNCS constitutes the refereed proceedings of the 19th International Conference on Integr...

Informace o knize

Autor
Nikolai Kosmatov, Laura Kovács
Jazyk
Angličtina
Vazba
Kniha - Brožovaná
Vydáno
2025
Stránek
400
EAN
9783031765537
Enbook ID
46583255
Vydavatel
Springer, Berlin
Hmotnost
534
Rozměry
155 x 235

Kompletní popis

This volume LNCS constitutes the refereed proceedings of the 19th International Conference on Integrated Formal Methods, IFM 2024, during 13-15 November 2024, held in Manchester, UK.  

The 19 full papers presented in this volume were carefully reviewed and selected from 58 submissions. The conference focuses on all aspects of the design of integrated techniques, including language design, verification and validation, automated tool support, and the use of such techniques in software engineering practice.

Mohlo by vás zajímat

Gravity Falls Journal 3

Rob Ronzetti
332 Kč

Autoimmune Fix

Tom O'bryan
468 Kč

Einstein: The Life and Times

Ronald W. Clark
379 Kč

The True Story of Fake News : How Mainstream Media Manipulates Millions

Mark Dice
431 Kč

Someone Had to Do It

Amber Brown
350 Kč

Don't Fix Women

Joy Burnford
380 Kč

[Oshi No Ko], Vol. 2

Aka Akasaka
235 Kč

The Adventures of Tom Sawyer

Mark Twain
199 Kč

Zákaznicí kteří koupili tuto knihu koupili také

Voice over IP

M Westphal
280 Kč

SPA-RIGBY PM COLECCION

Rigby
1 714 Kč

Autorem je každý z nás

Jitka Malá
198 Kč