Menu
Află starea comenzii
Contactați-ne
Carte 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
Limbă: engleză
Legare: Carte broșată
Editura: Springer, Berlin
Disponibilitate: În depozitul extern
Expediem în 5-8 zile
771.91 lei
This volume LNCS constitutes the refereed proceedings of the 19th International Conference on Integr...

Informații despre carte

Autor
Nikolai Kosmatov, Laura Kovács
Limbă
engleză
Legare
Carte - Carte broșată
Publicat
2025
Pagini
400
EAN
9783031765537
Enbook ID
46583255
Editura
Springer, Berlin
Greutate
534
Dimensiuni
155 x 235

Descriere completă

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.

S-ar putea să te intereseze

Gravity Falls Journal 3

Rob Ronzetti
83.00 lei

Autoimmune Fix

Tom O'bryan
116.39 lei

Einstein: The Life and Times

Ronald W. Clark
92.18 lei

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

Mark Dice
108.12 lei

Someone Had to Do It

Amber Brown
84.61 lei

Don't Fix Women

Joy Burnford
93.29 lei

[Oshi No Ko], Vol. 2

Aka Akasaka
57.59 lei

The Adventures of Tom Sawyer

Mark Twain
49.51 lei

Clienții care au cumpărat această carte au mai cumpărat și

Voice over IP

M Westphal
68.28 lei

SPA-RIGBY PM COLECCION

Rigby
414.64 lei

Autorem je každý z nás

Jitka Malá
44.98 lei