Livrare gratuită pentru comenzile peste 349,00 lei.

Verifică starea comenzii

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

Transport gratuit la punctele de livrare Pick Up peste 349.00 lei

Packeta 15.00 lei Serviciul de curierat Cargus 28.00 lei Easybox 20.00 lei FAN Courier 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier DPD 25.00 lei

Contact

Cum să cumpăr

Ajutor

Contul meu

▸ Gol :-(

Livrare gratuită pentru comenzile peste 349,00 lei.

Specification of Software Systems

Name: Specification of Software Systems
Brand: Springer, Berlin
SKU: 01385494
Price: 399.65 RON
Availability: InStock
Author: V. S. Alagar
ISBN: 9780387984308

V. S. Alagar

K. Periyasamy

Limba

engleză

Carte Copertă tare

Codul Libristo: 01385494

Editura Springer, Berlin, noiembrie 1997

This graduate-level text provides a one semester introduction to program specification. Readers are... Descrierea completă

Codul Libristo: 01385494

185 b

399.65 lei

șansă 50% Şanse de a obține acest titlu Când primesc cărțile?

Până la 30 de zile pentru returnare

Clienții au cumpărat de asemenea

Thenser. Aradia, T. 2 T2 Tanith Lee

Carte broșată

48.21 lei

Conoce tu personalidad : por qué eres como eres Francisco Javier de las Heras Calvo

Carte broșată

139.13 lei

Affinity Affinity

Audio CD

181.53 lei

This graduate-level text provides a one semester introduction to program specification. Readers are assumed to have a working knowledge of software engineering and basic discrete mathematics, but otherwise this may be their first encounter with formal specification. It is based on graduate courses and courses offered to professionals working in the software industry. The authors emphasize the need for formal abstraction in specification and the advantages it confers upon the software process. In addition, the book covers all three major specification languages: Larch, VDM, and Z. Consequently, readers will be able to select a formal method that best suits their needs and application. The first part of the book discusses specification in general and the abstraction process. Next come chapters on the mathematical tools required. Thirdly, the authors devote a chapter each to the main formal methods with a significant example of the use of each discussed.

Actriță & Poliglotă

EWA KASP pentru

Redă videoclipul

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 Specification of Software Systems

Autor V. S. Alagar, K. Periyasamy

Limba

engleză

Legare Carte - Copertă tare

Data publicării 1998

Număr pagini 422

EAN 9780387984308

Codul Libristo 01385494

Editura Springer, Berlin

Greutatea 1044

Dimensiuni 240

Categorii

Computing & Information Technology > Computer programming / 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

Time Reversibility, Computer Simulation, Algorithms, Chaos (2nd Edition) William Graham Hoover

Copertă tare

882.24 lei

The History Of The Holy, Military, Sovereign Order Of St. John Of Jerusalem V3: Or Knights Hospitallers, Knights Templars, Knights Of Rhodes, Knights John Taaffe

Copertă tare

256.87 lei