wyszukanych pozycji: 12
Formal Methods in Programming and Their Applications: International Conference, Academgorodok, Novosibirsk, Russia, June 28 - July 2, 1993. Proceeding
ISBN: 9783540573166 / Angielski / Miękka / 1993 / 438 str. Termin realizacji zamówienia: ok. 20 dni roboczych. This volume contains papers selected for presentation at the international conference, Formal Methods in Programming and Their Applications, held in Academgorodok, Novosibirsk, Russia, June-July 1993. The conference was organized by the Institute of Informatics Systems of the Siberian Division of the Russian Academy of Sciences.
This volume contains papers selected for presentation at the international conference, Formal Methods in Programming and Their Applications, held in A...
|
|
cena:
192,30 zł |
Software Engineering 1: Abstraction and Modelling
ISBN: 9783540211495 / Angielski / Twarda / 2005 / 756 str. Termin realizacji zamówienia: ok. 20 dni roboczych. The art, craft, discipline, logic, practice, and science of developing large-scale software products needs a believable, professional base. The textbooks in this three-volume set combine informal, engineeringly sound practice with the rigour of formal, mathematics-based approaches. Volume 1 covers the basic principles and techniques of formal methods abstraction and modelling. First this book provides a sound, but simple basis of insight into discrete mathematics: numbers, sets, Cartesians, types, functions, the Lambda Calculus, algebras, and mathematical logic. Then it trains its... The art, craft, discipline, logic, practice, and science of developing large-scale software products needs a believable, professional base. The tex... |
|
cena:
384,63 zł |
Perspectives of System Informatics: Second International Andrei Ershov Memorial Conference, Akademgorodok, Novosibirsk, Russia, June 25 - 28, 1996; Pr
ISBN: 9783540620648 / Angielski / Miękka / 1996 / 453 str. Termin realizacji zamówienia: ok. 20 dni roboczych. This book constitutes the refereed post-conference proceedings of the Second International Andrei Ershov Memorial Conference on System Informatics, held in Akademgorodok, Novosibirsk, Russia, in June 1996.
The 27 revised full papers presented together with 9 invited contributions were thoroughly refereed for inclusion in this volume. The book is divided in topical sections on programming methodology, artificial intelligence, natural language processing, machine learning, dataflow and concurrency models, parallel programming, supercompilation, partial evaluation, object-oriented... This book constitutes the refereed post-conference proceedings of the Second International Andrei Ershov Memorial Conference on System Informatics, he...
|
|
cena:
192,30 zł |
Software Engineering 3: Domains, Requirements, and Software Design
ISBN: 9783540211518 / Angielski / Twarda / 2006 / 800 str. Termin realizacji zamówienia: ok. 20 dni roboczych. The art, craft, discipline, logic, practice, and science of developing large-scale software products needs a believable, professional base. The textbooks in this three-volume set combine informal, engineeringly sound practice with the rigour of formal, mathematics-based approaches. Volume 3 is based on the maxim: "Before software can be designed its requirements must be well understood, and before the requirements can be expressed properly the domain of the application must be well understood." This book covers the process from the development of domain descriptions, via the... The art, craft, discipline, logic, practice, and science of developing large-scale software products needs a believable, professional base. The tex... |
|
cena:
384,63 zł |
Software Engineering 3: Domains, Requirements, and Software Design
ISBN: 9783642059414 / Angielski / Miękka / 2010 / 768 str. Termin realizacji zamówienia: ok. 20 dni roboczych. The art, craft, discipline, logic, practice, and science of developing large-scale software products needs a believable, professional base. The textbooks in this three-volume set combine informal, engineeringly sound practice with the rigour of formal, mathematics-based approaches. Volume 3 is based on the maxim: "Before software can be designed its requirements must be well understood, and before the requirements can be expressed properly the domain of the application must be well understood." This book covers the process from the development of domain descriptions, via the... The art, craft, discipline, logic, practice, and science of developing large-scale software products needs a believable, professional base. The tex... |
|
cena:
423,10 zł |
VDM '90. VDM and Z - Formal Methods in Software Development: Third International Symposium of VDM Europe, Kiel, Frg, April 17-21, 1990, Proceedings
ISBN: 9783540525134 / Angielski / Miękka / 1990 / 588 str. Termin realizacji zamówienia: ok. 20 dni roboczych. This volume is the third in a series of VDM Symposia Proceedings. VDM, the Vienna Development Method, is a formal method for software engineering. The proceedings published by VDM Europe are concerned with bringing real theory to apply to real programming.
This volume is the third in a series of VDM Symposia Proceedings. VDM, the Vienna Development Method, is a formal method for software engineering. The...
|
|
cena:
192,30 zł |
Software Engineering 1: Abstraction and Modelling
ISBN: 9783642059391 / Angielski / Miękka / 2010 / 714 str. Termin realizacji zamówienia: ok. 20 dni roboczych. The art, craft, discipline, logic, practice, and science of developing large-scale software products needs a believable, professional base. The textbooks in this three-volume set combine informal, engineeringly sound practice with the rigour of formal, mathematics-based approaches. Volume 1 covers the basic principles and techniques of formal methods abstraction and modelling. First this book provides a sound, but simple basis of insight into discrete mathematics: numbers, sets, Cartesians, types, functions, the Lambda Calculus, algebras, and mathematical logic. Then it trains its... The art, craft, discipline, logic, practice, and science of developing large-scale software products needs a believable, professional base. The tex... |
|
cena:
326,93 zł |
Perspectives of System Informatics: 4th International Andrei Ershov Memorial Conference, Psi 2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001,
ISBN: 9783540430759 / Angielski / Miękka / 2001 / 550 str. Termin realizacji zamówienia: ok. 20 dni roboczych. This book constitutes the thoroughly refereed post-proceedings of the 4th International Andrei Ershov Memorial Conference, PSI 2001, held in Akademgorodok, Novosibirsk, Russia, in July 2001.
The 50 revised papers presented together with 2 invited memorial papers devoted to the work of Andrei Ershov were carefully selected during 2 rounds of reviewing and improvement. The book offers topical sections on computing and algorithms, logical methods, verification, program transformation and synthesis, semantics and types, processes and concurrency, UML specification, Petri nets, testing,... This book constitutes the thoroughly refereed post-proceedings of the 4th International Andrei Ershov Memorial Conference, PSI 2001, held in Akademgor...
|
|
cena:
192,30 zł |
Software Engineering 2: Specification of Systems and Languages
ISBN: 9783540211501 / Angielski / Twarda / 2006 / 808 str. Termin realizacji zamówienia: ok. 20 dni roboczych. The art, craft, discipline, logic, practice and science of developing large-scale software products needs a professional base. The textbooks in this three-volume set combine informal, engineeringly sound approaches with the rigor of formal, mathematics-based approaches. This volume covers the basic principles and techniques of specifying systems and languages. It deals with modelling the semiotics (pragmatics, semantics and syntax of systems and languages), modelling spatial and simple temporal phenomena, and such specialized topics as modularity (incl. UML class diagrams),... The art, craft, discipline, logic, practice and science of developing large-scale software products needs a professional base. The textbooks in thi... |
|
cena:
192,30 zł |
Perspectives of System Informatics: Third International Andrei Ershov Memorial Conference, Psi'99, Akademgorodok, Novosibirsk, Russia, July 6-9, 1999
ISBN: 9783540671022 / Angielski / Miękka / 2000 / 540 str. Termin realizacji zamówienia: ok. 20 dni roboczych. This text constitutes the thoroughly refereed post-proceedings of the Third International Andrei Ershov Memorial Conference, PSI'99, held in Akademgorodok, Novosibirsk, Russia, in July 1999. The 44 revised papers, presented together with five revised full invited papers, were carefully reviewed and selected from a total of 73 submissions. The papers are organized in sections on: algebraic specifications; partial evaluation and super compilation; specification with states; concurrency and parallelism; logic and processes; languages and software; database programming; object-oriented...
This text constitutes the thoroughly refereed post-proceedings of the Third International Andrei Ershov Memorial Conference, PSI'99, held in Akademgor...
|
|
cena:
384,63 zł |
VDM '87. VDM - A Formal Method at Work: VDM-Europe Symposium 1987, Brussels, Belgium, March 23-26, 1987, Proceedings
ISBN: 9783540176541 / Angielski / Miękka / 1987 / 422 str. Termin realizacji zamówienia: ok. 20 dni roboczych. |
|
cena:
192,30 zł |
Software Engineering 2: Specification of Systems and Languages
ISBN: 9783642059407 / Angielski / Miękka / 2010 / 780 str. Termin realizacji zamówienia: ok. 20 dni roboczych. The art, craft, discipline, logic, practice and science of developing large-scale software products needs a professional base. The textbooks in this three-volume set combine informal, engineeringly sound approaches with the rigor of formal, mathematics-based approaches. This volume covers the basic principles and techniques of specifying systems and languages. It deals with modelling the semiotics (pragmatics, semantics and syntax of systems and languages), modelling spatial and simple temporal phenomena, and such specialized topics as modularity (incl. UML class diagrams),... The art, craft, discipline, logic, practice and science of developing large-scale software products needs a professional base. The textbooks in thi... |
|
cena:
192,30 zł |