Verifică starea comenzii
LIBRISTO
LIBROAMANTO
obligatoriu
Parolă uitată
Faceți parte dintr-o comunitate de iubitori de cărți din întreaga lume și beneficiați de o mulțime de avantaje Creați-vă un cont gratuit
0
Transport gratuit la punctele de livrare Pick Up peste 349.00 lei
Packeta 15.00 lei Cargus 28.00 lei Easybox 20.00 lei FAN 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier Sameday 24.00 lei Curier DPD 25.00 lei
phone Contact phoneCum să cumpăr
Livrare gratuită pentru comenzile peste 349,00 lei.

Refinement

Semantics, Languages and Applications

Limba englezăengleză
Carte Copertă tare
Carte Refinement John Derrick
Codul Libristo: 19382100
Editura Springer International Publishing AG, septembrie 2018
Refinement is one of the cornerstones of a formal approach to software engineering. Refinement is al... Descrierea completă
? points 129 b
280.02 lei
În depozitul extern Expediem în 10-13 zile

30 de zile pentru retur bunuri

Clienții au cumpărat de asemenea

Chaos Gilles Kepel / Carte Copertă tare
common.buy 139.59 lei
VULNERABILITES CIVIQUES. LE SOIN DE LA CITE AU PRISME DU CORPS BERTHELOT/HUSQUIN / Carte Carte broșată
common.buy 102.47 lei
FIFA Nikolaus Bettinger / Carte Carte broșată
common.buy 99.87 lei
Contemporary Japanese Architecture (English, French, German) Jodidio / Carte Copertă tare
common.buy 371.45 lei
FRIEND.LY 3 ANYS PRIMER TRIMESTRE Edebé / Carte Carte broșată
common.buy 253.75 lei
Rownowaga ciala czlowieka Cwiczenia Anna Olczak / Carte Carte broșată
common.buy 195.78 lei
LIBRO DE LAS MARAVILLAS MARCO POLO / Carte Carte broșată
common.buy 139.59 lei
Flucht aus Eritrea in ein freies Land Lisa Winter / Carte Carte broșată
common.buy 89.44 lei
Le parole per (non) dirlo Valentina Mears / Carte Carte broșată
common.buy 55.14 lei
Pingpong Neu Gabriele Kopp / Audio Audio CD
common.buy 189.74 lei
Retrato de una Dama Henry James / Carte Carte broșată
common.buy 112.90 lei
Des Hemorrhagies Dans l'Hysterie MORA-V / Carte Carte broșată
common.buy 85.48 lei

Refinement is one of the cornerstones of a formal approach to software engineering. Refinement is all about turning an abstract description (of a soft or hardware system) into something closer to implementation. It provides that essential bridge between higher level requirements and an implementation of those requirements. This book provides a comprehensive introduction to refinement for the researcher or graduate student. It introduces refinement in different semantic models, and shows how refinement is defined and used within some of the major formal methods and languages in use today. It (1) introduces the reader to different ways of looking at refinement, relating refinement to observations(2) shows how these are realised in different semantic models (3) shows how different formal methods use different models of refinement, and (4) how these models of refinement are related.

Actriță & Poliglotă
EWA KASP pentru
Redă videoclipul
Ewa Kasp
Libristo are cea mai mare selecție de literatură în limbi străine. De aceea îmi cumpăr cărțile de aici.

Informații despre carte

Titlu complet Refinement
Autor John Derrick, Eerke A. Boiten
Limba engleză
Legare Carte - Copertă tare
Data publicării 2018
Număr pagini 269
EAN 9783319927091
ISBN 3319927094
Codul Libristo 19382100
Editura Springer International Publishing AG
Greutatea 606
Dimensiuni 155 x 235 x 23

Categorii

Computing & Information Technology > Computer programming / software engineering > Software Engineering
Dăruiește această carte chiar astăzi
Este foarte ușor
1 Adaugă cartea în coș și selectează Livrează ca un cadou 2 Îți vom trimite un voucher în schimb 3 Cartea va ajunge direct la adresa destinatarului

Ar putea de asemenea, să te intereseze

Turkmenistan: Investment Climate Statement 2015 United States Department of State / Carte Carte broșată
common.buy 71.82 lei
Top
To Touch A Silent Fury R. A. Sandpiper / Carte Carte broșată
common.buy 91.84 lei
Bedside Companion for Travel Lovers Hunter / Carte Copertă tare
common.buy 128.95 lei
The Women of the American Revolution; Volume 3 Elizabeth Fries Ellet / Carte Carte broșată
common.buy 143.03 lei
How to start a business: How to start a business without any money David C White / Carte Copertă tare
common.buy 149.60 lei
Top
Trans Wizard Harriet Porber And The Bad Boy Parasaurolophus: An Adult Romance Novel Chuck Tingle / Carte Carte broșată
common.buy 81.83 lei
Biblical Counseling Basics: Roots, Beliefs, & Future Jeremy Lelek / Carte Carte broșată
common.buy 108.73 lei
Effective Interviewing and Interrogation Techniques Nathan Gordon / Carte Copertă tare
common.buy 681.92 lei
Adventures of Kiwi and Aj HOLLY MAXFIELD / Carte Copertă tare
common.buy 182.54 lei
The Law Relating to Factories and Workshops: Including Laundries, Railways, and Docks. May Edith Abraham Tennant / Carte Carte broșată
common.buy 188.69 lei
Sprite Peter Meredith / Carte Carte broșată
common.buy 76.83 lei
Ecology and Management of Atlantic Salmon D. Mills / Carte Copertă tare
common.buy 854.78 lei
Can Emerging Technologies Make a Difference in Development? Rachel A. Parker / Carte Carte broșată
common.buy 446.83 lei
Patient's Guide to All Things Medical Sheldon Cohen M D F a C P / Carte Carte broșată
common.buy 138.55 lei
Dyadic Walsh Analysis from 1924 Onwards Walsh-Gibbs-Butzer Dyadic Differentiation in Science Volume 2 Extensions and Generalizations Radomir Stankovic / Carte Copertă tare
common.buy 541.91 lei
Curând
Ec Artists' Library Slipcase 3 (volumes 9-12) Joe Orlando / Carte Copertă tare
common.buy 586.63 lei
The Wentworths: Father and Son John Ritchie / Carte Carte broșată
common.buy 150.01 lei
Oliver Otter's Own Office Barbara deRubertis / Carte Carte broșată
common.buy 48.57 lei

Logare

Conectare la contul de utilizator Încă nu ai un cont Libristo? Crează acum!

 
obligatoriu
obligatoriu
Parolă uitată

Nu ai un cont? Beneficii cu contul Libristo!

Datorită contului Libristo, vei avea totul sub control.

Creare cont Libristo