Program Specification
Editat de J. Staunstrupen Limba Engleză Paperback – apr 1982
Preț: 329.14 lei
Preț vechi: 411.42 lei
-20%
Puncte Express: 494
Preț estimativ în valută:
58.20€ • 66.74$ • 50.30£
58.20€ • 66.74$ • 50.30£
Carte tipărită la comandă
Livrare economică 27 aprilie-11 mai
Specificații
ISBN-13: 9783540114901
ISBN-10: 3540114904
Pagini: 436
Ilustrații: VI, 426 p.
Dimensiuni: 155 x 235 x 24 mm
Greutate: 0.66 kg
Ediția:1982
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany
ISBN-10: 3540114904
Pagini: 436
Ilustrații: VI, 426 p.
Dimensiuni: 155 x 235 x 24 mm
Greutate: 0.66 kg
Ediția:1982
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany
V-ar putea interesa
-
Wireless and Mobile NetworkingZoubir Mammeri-20%Preț: 963.52 lei1204.41 lei -
-20%Preț: 916.89 lei1146.12 lei -
Head First HTML and CSSElisabeth Robson-20%Preț: 285.09 lei356.37 lei -
KanbanDavid J. Anderson-20%Preț: 249.74 lei312.18 lei -
Preț: 285.95 lei -
Professional GitB LasterPreț: 290.34 lei -
Pro ASP.NET Web API Security: Securing ASP.NET Web APIBadrinarayanan Lakshmiraghavan-20%Preț: 521.46 lei651.81 lei -
Android CookbookIan F Darwin-20%Preț: 408.59 lei510.73 lei -
Continuous Delivery with Visual Studio ALM 2015Mathias Olausson-20%Preț: 297.01 lei371.26 lei -
The Enterprise Big Data LakeAlex Gorelik-20%Preț: 347.79 lei434.73 lei -
Feature Engineering for Machine LearningAlice Zheng-20%Preț: 326.50 lei408.11 lei -
Mastering ServiceNow - Second EditionMartin Wood-20%Preț: 367.33 lei459.16 lei -
Objektorientiertes ProgrammierenUte Claussen-20%Preț: 226.91 lei283.63 lei -
Entwurfsmuster: Design Patterns in der objektorientierten SoftwaretechnikKlaus Quibeldey-Cirkel-20%Preț: 435.42 lei544.28 lei -
-20%Preț: 330.54 lei413.16 lei -
Theoretical Aspects of Computing - ICTAC 2009Martin Leucker-20%Preț: 325.83 lei407.29 lei -
-20%Preț: 324.82 lei406.03 lei -
-20%Preț: 318.67 lei398.33 lei
Public țintă
ResearchCuprins
Program specification: Issues and observations.- Example 1: Geometrical constructions.- Example 1: Geometrical constructions.- Example 2: KWIC — index generation.- Example 2: KWIC — index generation.- Example 2: KWIC — index generation.- Example 2: KWIC — index generation.- Example 2: KWIC — index generation.- Example 2: KWIC — index generation.- Example 2: KWIC — index generation.- Example 3: Communication network.- Example 3: Communication network.- Partial correctness of distributed programs.- Specification of distributed programs.- Robust data types.- A reduction specification for DTL.- Recursive definitions of operations in universal algebras.- The SRDL specification experiment.- Program specification by module trees.- Parameter passing in algebraic specification languages.- A few remarks on putting formal specifications to productive use.- A specification language.- Tecton: A language for manipulating generic objects.- Concurrency.- Workshop on program specification.- List of participants.