Related Books

Merging Features
Language: en
Pages: 390

Merging Features

Authors: José M. Brucart
Categories: Language Arts & Disciplines
Type: BOOK - Published: 2009-01-29 - Publisher: OUP Oxford

DOWNLOAD EBOOK

This book presents new work on how Merge and formal features, two basic factors in the Minimalist Program, should determine the syntactic computation of natural
Merging Systems into a Sysplex
Language: en
Pages: 434

Merging Systems into a Sysplex

Authors: Frank Kyne
Categories: Computers
Type: BOOK - Published: 2014-09-05 - Publisher: IBM Redbooks

DOWNLOAD EBOOK

This IBM Redbooks publication provides information to help Systems Programmers plan for merging systems into a sysplex. zSeries systems are highly flexibile sys
Software Language Engineering
Language: en
Pages: 396

Software Language Engineering

Authors: Mark van den Brand
Categories: Computers
Type: BOOK - Published: 2010-03-25 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This book constitutes the thoroughly refereed post-conference proceedings of the Second International Conference on Software Language Engineering, SLE 2009, hel
Formal Methods and Software Engineering
Language: en
Pages: 509

Formal Methods and Software Engineering

Authors: Zhenhua Duan
Categories: Computers
Type: BOOK - Published: 2017-10-13 - Publisher: Springer

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 19th International Conference on Formal Engineering Methods, ICFEM 2017, held in Xi'an, China, in November
Tools and Algorithms for the Construction and Analysis of Systems
Language: en
Pages: 425

Tools and Algorithms for the Construction and Analysis of Systems

Authors: Armin Biere
Categories: Computers
Type: BOOK - Published: 2020-04-17 - Publisher: Springer Nature

DOWNLOAD EBOOK

This open access two-volume set constitutes the proceedings of the 26th International Conference on Tools and Algorithms for the Construction and Analysis of Sy
Amvik eBook Solutions - Theme by Netnus