Zjistit stav objednávky
LIBRISTO
LIBROAMANTO
povinné
Zapomenuté heslo
Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod. Založit účet zdarma
0
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č
phone Kontakt phoneJak nakupovat
Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Formal Methods and Software Engineering

18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedings

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Formal Methods and Software Engineering Kazuhiro Ogata
Libristo kód: 14277723
Nakladatelství Springer International Publishing AG, říjen 2016
This book constitutes the refereed proceedings of the 18th International Conference on Formal Engine... Celý popis
? points 118 b
1 181 Kč
Skladem u dodavatele Odesíláme za 5-8 dnů

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

Zákazníci také koupili

Das Buch der vergessenen Geschichten Martina Meier (Hrsg.) / Kniha Brožovaná
common.buy 548 Kč
En Tiempo de Tormentas Jorge Cáceres Hernández / Kniha Brožovaná
common.buy 236 Kč
To i owo tu i tam Strzałkowska Małgorzata / Kniha Pevná
common.buy 213 Kč
Rosa Bonheur et Buffalo Bill, une amitié admirable Natacha Henry / Kniha Brožovaná
common.buy 582 Kč
Cybersécurité : le kit de survie Renouf / Kniha Brožovaná
common.buy 334 Kč
Caliente ! Delannoy / Kniha Brožovaná
common.buy 763 Kč
Histoire Du Roi de Rome: Duc de Reichstadt, Coup d'Oeil Sur La Revolution, Consulat Et l'Empire Chopin-J-M / Kniha Brožovaná
common.buy 478 Kč
El farallón Sabas Martín / Kniha Brožovaná
common.buy 436 Kč
Junge Muslime im deutschen Strafvollzug Thorsten Beermann / Kniha Brožovaná
common.buy 915 Kč

This book constitutes the refereed proceedings of the 18th International Conference on Formal Engineering Methods, ICFEM 2016, held in Tokyo, Japan, in November 2016. The 27 revised full papers presented together with three invited talks were carefully reviewed and selected from 64 submissions. The conference focuses in all areas related to formal engineering meth-ods, such as veri cation and validation, software engineering, formal speci cation and modeling, software security, and software reliability.

Herečka & Polyglotka
EWA KASP pro
Přehrát video
Ewa Kasp
Libristo má největší výběr cizojazyčné literatury. Proto své knihy kupuji tady.

Informace o knize

Plný název Formal Methods and Software Engineering
Autor Kazuhiro Ogata, Mark Lawford, Shaoying Liu
Jazyk Angličtina
Vazba Kniha - Brožovaná
Datum vydání 2016
Počet stran 486
EAN 9783319478456
ISBN 3319478451
Libristo kód 14277723
Nakladatelství Springer International Publishing AG
Váha 381
Rozměry 150 x 210 x 22

Kategorie

Výpočetní a informační technologie > Počítačový hardware > Síťová zařízení
Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Překladače a interpretry
Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Programovací a skriptovací jazyky: obecně
Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Softwarové inženýrství
Výpočetní a informační technologie > Informatika > Teorie algoritmů
Výpočetní a informační technologie > Informatika > Architektura počítače a logic design
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

The Quire a Biographical Sketch George William / Kniha Brožovaná
common.buy 404 Kč
Dante's Inferno (New Revelations) Luke Kirby / Kniha Brožovaná
common.buy 237 Kč
Tales of Mother Dupe Kuku / Kniha Brožovaná
common.buy 445 Kč
Phase Microscopy; Principles and Applications Alva Herschel Bennett / Kniha Pevná
common.buy 1 036 Kč
ROBERT KIRKMANS THE WALKING DEAD RETURN Jay Bonansinga / Kniha Brožovaná
common.buy 392 Kč
Notes on the Birds of Damara Land John Henry Gurney / Kniha Brožovaná
common.buy 630 Kč
Top
A Very English Scandal John Preston / Kniha Brožovaná
common.buy 291 Kč
Effects of nonionizing electromagnetic waves of intermediate frequency Vijay Kumar / Kniha Brožovaná
common.buy 732 Kč
A PLEA FOR A NEW TRANSLATION OF THE SCRI ALFRED DEWES / Kniha Pevná
common.buy 707 Kč
OUTCOMES PRE-INTERM SPLIT A+SPARK 3E Andrew Walkley|Hugh Dellar / Kniha Kniha
common.buy 706 Kč
Object Lessons Anna Quindlen / Kniha Brožovaná
common.buy 383 Kč
Management of Nitrogen and Phosphorus Fertilizers in Sub-Saharan Africa Uzo M. Mokwunye / Kniha Pevná
common.buy 3 530 Kč
Greek and Roman Calendars Robert Hannah / Kniha Brožovaná
common.buy 1 134 Kč
Classical Groups and K-Theory Alexander J. Hahn / Kniha Pevná
common.buy 3 530 Kč
Holidays Evans / Kniha Brožovaná
common.buy 275 Kč
New Horizons in Neurovascular Coupling: A Bridge Between Brain Circulation and Neural Plasticity Kazuto Masamoto / Kniha Pevná
common.buy 6 671 Kč
Furniture Makes the Room Barbara Blair / Kniha Pevná
common.buy 537 Kč
System of Clinical Medicine Robert James Graves / Kniha Pevná
common.buy 1 164 Kč
Emerson and Literary Change David Porter / Kniha Pevná
common.buy 1 097 Kč
Cattleya and Catopsis, The Lost Kitten David Wood / Kniha Brožovaná
common.buy 358 Kč
40 CHARACTERISTIC ETUDES Henri Adrien Kling / Kniha Brožovaná
common.buy 286 Kč

Přihlášení

Přihlaste se ke svému účtu. Ještě nemáte Libristo účet? Vytvořte si ho nyní!

 
povinné
povinné
Zapomenuté heslo

Nemáte účet? Získejte výhody Libristo účtu!

Díky Libristo účtu budete mít vše pod kontrolou.

Vytvořit Libristo účet
Knižní rádce Libroamiko
Ahoj, jsem Libroamiko, můžu pomoct?