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 € Zberné miesto GLS 2.99 € SPS 3.99 € Kuriér GLS 3.49 € SPS Parcel Shop 2.99 € Packeta kurýr 3.99 € Pošta 3.99 € Zberné miesto DPD 2.99 € Zberné miesto DPD 0.00 € 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.

Structured Object-Oriented Formal Language and Method

Name: Structured Object-Oriented Formal Language and Method
Brand: Springer Nature Switzerland AG
SKU: 25610006
Price: 51.75 EUR
Availability: InStock
Author: Huaikou Miao
ISBN: 9783030414177

9th International Workshop, SOFL+MSVL 2019, Shenzhen, China, November 5, 2019, Revised Selected Papers

Jazyk

Angličtina

Kniha Brožovaná

Libristo kód: 25610006

Nakladateľstvo Springer Nature Switzerland AG, február 2020

This book constitutes the thoroughly refereed workshop proceedings of the 9th International Workshop... Celý popis

Libristo kód: 25610006

125 b

51.75 €

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

30 dní na vrátenie tovaru

Zákazníci tiež kúpili

Software Propietario Versus Software Libre Gladys Rodríguez

Brožovaná

61.57 €

Notice Biographique Sur M. Le Comte Henri de Brimont Sans Auteur

Brožovaná

13.06 €

Stanley el explorador de África Jon Bilbao

Brožovaná

15.79 €

Rechtsprechung kaufmännischer Schiedsgerichte. Bd. 6 Kuno Straatmann

Brožovaná

43.64 €

Le Piège photographique Jean Chevallier

Brožovaná

18.93 €

This book constitutes the thoroughly refereed workshop proceedings of the 9th International Workshop on Structured Object-Oriented Formal Language and Method, SOFL+MSVL 2019, held in Shenzhen, China, in November 2019. The 23 revised full papers included in the volume were carefully reviewed and selected from 43 submissions. They are organized in the following topical sections: testing and debugging, formal verification, problem solving, software analysis and evolution, and software analysis and testing.