Menu
Rendelés állapotának ellenőrzése
Kapcsolat
Könyv Integrated Formal Methods Nikolai Kosmatov

Integrated Formal Methods

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

Szerző: Nikolai Kosmatov, Laura Kovács
Nyelv: Angol
Kötés: Puha kötésű
Kiadó: Springer, Berlin
Elérhetőség: Beszállítói készleten
Küldés 5-8 napon belül
53 624 Ft
This volume LNCS constitutes the refereed proceedings of the 19th International Conference on Integr...

Információk a könyvről

Szerző
Nikolai Kosmatov, Laura Kovács
Nyelv
Angol
Kötés
Könyv - Puha kötésű
Kiadva
2025
oldal
400
EAN
9783031765537
Enbook ID
46583255
Kiadó
Springer, Berlin
Súly
534
Méretek
155 x 235

Teljes leírás

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.

Érdekelheti

Gravity Falls Journal 3

Rob Ronzetti
5 804 Ft

Autoimmune Fix

Tom O'bryan
8 138 Ft

Einstein: The Life and Times

Ronald W. Clark
6 411 Ft

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

Mark Dice
7 491 Ft

Someone Had to Do It

Amber Brown
5 888 Ft

Don't Fix Women

Joy Burnford
6 500 Ft

[Oshi No Ko], Vol. 2

Aka Akasaka
4 004 Ft

The Adventures of Tom Sawyer

Mark Twain
3 339 Ft

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

Voice over IP

M Westphal
4 754 Ft

SPA-RIGBY PM COLECCION

Rigby
28 821 Ft

Autorem je každý z nás

Jitka Malá
2 960 Ft