Axiomatising the Logic of Computer Programming
Autor R. Goldblatten Limba Engleză Paperback – mar 1982
Preț: 154.16 lei
Preț vechi: 192.70 lei
-20%
Puncte Express: 231
Carte tipărită la comandă
Livrare economică 28 septembrie-12 octombrie
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: 9783540112105
ISBN-10: 3540112103
Pagini: 320
Ilustrații: XIII, 304 p.
Dimensiuni: 155 x 235 x 18 mm
Greutate: 0.49 kg
Ediția:1982
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany
ISBN-10: 3540112103
Pagini: 320
Ilustrații: XIII, 304 p.
Dimensiuni: 155 x 235 x 18 mm
Greutate: 0.49 kg
Ediția:1982
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany
V-ar putea interesa
-
Head First HTML and CSSElisabeth Robson-20%Preț: 294.48 lei368.11 lei -
KanbanDavid J. Anderson-20%Preț: 254.39 lei317.98 lei -
Preț: 294.80 lei -
Professional GitBrent Laster-20%Preț: 255.83 lei319.79 lei -
Pro ASP.NET Web API SecurityBadrinarayanan Lakshmiraghavan-20%Preț: 525.86 lei657.33 lei -
Android CookbookIan F Darwin-20%Preț: 429.24 lei536.54 lei -
Continuous Delivery with Visual Studio ALM 2015Mathias Olausson-20%Preț: 299.70 lei374.63 lei -
The Enterprise Big Data LakeAlex Gorelik-20%Preț: 365.66 lei457.06 lei -
Feature Engineering for Machine LearningAlice Zheng-20%Preț: 336.73 lei420.91 lei -
Mastering ServiceNow - Second EditionMartin Wood-20%Preț: 368.74 lei460.93 lei -
Übersetzung objektorientierter ProgrammiersprachenBernhard Bauer-20%Preț: 213.53 lei266.91 lei -
Complexity of ConstraintsNadia Creignou-20%Preț: 336.75 lei420.93 lei -
Integrated Formal MethodsMichael Leuschel-20%Preț: 339.28 lei424.11 lei -
Algorithms - ESA 2009Amos Fiat-20%Preț: 676.23 lei845.30 lei -
-20%Preț: 326.55 lei408.19 lei -
-20%Preț: 324.99 lei406.23 lei
Public țintă
ResearchCuprins
Conceptual background.- The logical structure of commands.- Assignments.- Appendix 1 Some related studies.- Function declarations.- Procedures.- Arrays.