Program Specification
Editat de J. Staunstrupen Limba Engleză Paperback – apr 1982
Preț: 329.14 lei
Preț vechi: 411.42 lei
-20%
Puncte Express: 494
Carte tipărită la comandă
Livrare economică 23 iulie-06 august
Livrare prin curier în România Termenul estimat este afișat lângă disponibilitate.
Transport gratuit de la 400.00 lei Plată online sau ramburs, în funcție de opțiunile comenzii.
Retur gratuit în 14 zile Comandă securizată și suport în română.
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ț: 983.90 lei1229.88 lei -
-20%Preț: 947.57 lei1184.47 lei -
Head First HTML and CSSElisabeth Robson-20%Preț: 287.49 lei359.36 lei -
KanbanDavid J. Anderson-20%Preț: 254.39 lei317.98 lei -
OcpJeanne BoyarskyPreț: 295.34 lei -
Professional GitBrent Laster-20%Preț: 256.30 lei320.38 lei -
Pro ASP.NET Web API SecurityBadrinarayanan Lakshmiraghavan-20%Preț: 525.86 lei657.33 lei -
Android CookbookIan F Darwin-20%Preț: 420.53 lei525.67 lei -
Continuous Delivery with Visual Studio ALM 2015Mathias Olausson-20%Preț: 299.70 lei374.63 lei -
The Enterprise Big Data LakeAlex Gorelik-20%Preț: 357.88 lei447.34 lei -
Feature Engineering for Machine LearningAlice Zheng-20%Preț: 329.29 lei411.62 lei -
Mastering ServiceNow - Second EditionMartin Wood-20%Preț: 368.74 lei460.93 lei -
Objektorientiertes ProgrammierenUte Claussen-20%Preț: 228.95 lei286.19 lei -
EntwurfsmusterKlaus Quibeldey-Cirkel-20%Preț: 448.82 lei561.03 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.